Luca Cardelli  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/Users...CompilingML.A4.ps microsoft.com/Users/l...CompilingML.pdf ksu.edu/~hatcliff/...gMLcardelli.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: luca.demon.co.uk/Bibliography (more) From: luca.demon.co.uk/Bibliography Homepages: L.Cardelli |
Rate this article:      (best)Comment on this article |
Abstract: Machine The Functional Abstract Machine (Fam) is a stack machine designed to support functional languages on large address space computers. It can be considered an SECD machine [Landin 64] which has been optimized to allow very fast function application and the use of true stacks (as opposed to linked lists). This section contains a brief overview of the Fam; which is fully described in [Cardelli 83]. The machine supports functional objects (closures, which are dynamically allocated and garbage ... (Update)
Context of citations to this paper: More
...regards compactness and eciency. There are two approaches to pattern matching compilation, the underlying model being either decision trees [5] or backtracking automata [1] Using decision trees, one produces a priori faster code (because each position in a term is tested at...
Cited by: More
A Parallel Virtual Machine for Bulk Synchronous Parallel ML - Gava, Loulergue (2003) (Correct)
Optimizing Pattern Matching - Le Fessant, Maranget (2001) (Correct)
High-level Management of Computation History for the Design and.. - Loia (1992) (Correct)
Similar documents (at the sentence level):
14.9%: ATT Bell Laboratories Technical Report TR-107, 1983. Last.. - Sunday July (Correct)
9.0%: Basic Polymorphic Typechecking - Cardelli (1988) (Correct)
Active bibliography (related documents): More All
0.5: A New Protection Model for Component-Based Operating Systems - Law (2001) (Correct)
0.1: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.0: A Standard ML Compiler - Appel, MacQueen (1987) (Correct)
Similar documents based on text: More All
0.2: Modules for Standard ML - MacQueen (1984) (Correct)
0.1: Adding Detritus to a Nutrient-Phytoplanktonzooplankton Model: A.. - Edwards (Correct)
0.1: Revised^5 Report on the Algorithmic Language Scheme - Kelsey, (ed), Clinger.. (1998) (Correct)
Related documents from co-citation: More All
20: Compiling with Continuations (context) - Appel - 1992
19: ORBIT: An Optimizing Compiler for Scheme (context) - Kranz - 1988
18: The mechanical evaluation of expressions (context) - Landin - 1964
BibTeX entry: (Update)
Luca Cardelli. Compiling a functional language. In 1984 ACM Conference on LISP and Functional Programming, Austin, Texas, August 1984. http://citeseer.ist.psu.edu/cardelli84compiling.html More
@inproceedings{ cardelli84compiling,
author = "Luca Cardelli",
title = "Compiling a Functional Language",
booktitle = "{LISP} and Functional Programming",
pages = "208-217",
year = "1984",
url = "citeseer.ist.psu.edu/cardelli84compiling.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
218 The Mechanical Evaluation of Expressions (context) - Landin - 1964
182 Logic for Problem Solving (context) - Kowalski - 1979 ACM
127 Principles of Compiler Design (context) - Aho, Ullman - 1978
95 Hope: an Experimental Applicative Language - Burstall, MacQueen et al. - 1980 DBLP
83 Modules for Standard ML - MacQueen ACM DBLP
81 A proposal for Standard ML (context) - Milner ACM DBLP
32 Functional Programming, Application and Implementation (context) - Henderson - 1980
29 The Functional Abstract Machine (context) - Cardelli - 1983
29 Edinburgh LCF (context) - Gordon, Milner et al. - 1979
22 Programming in Modula-2 (context) - Wirth - 1983
16 Anatomy of LISP (context) - Allen - 1978 ACM
2 Debunking the `Expensive Procedure Call' Myth (context) - Steele - 1977
1 RABBIT: A compile for SCHEME (context) - Steele - 1978
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.html): More
On Binary Methods - Bruce, Cardelli, Castagna, Eifrig.. (1995) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC