Compiling a Functional Language (1984)

by Luca Cardelli
Venue:IN CONFERENCE RECORD OF THE 1984 ACM SYMPOSIUM ON LISP AND FUNCTIONAL PROGRAMMING
Citations:65 - 0 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
625 Compiling With Continuations – A W Appel - 1992
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
108 Garbage Collection Can Be Faster Than Stack Allocation – Andrew W. Appel - 1987
128 Rabbit: A compiler for Scheme – Guy L Steele - 1978
124 M.: The categorical abstract machine – G Cousineau, P L Curien, Mauny - 1987
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
333 The mechanical evaluation of expressions – P J Landin - 1964
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
253 A real-time garbage collector based on the lifetimes of objects – Henry Lieberman, Carl Hewitt, Danny Hillis - 1983
126 The Design and Evaluation of a High Performance Smalltalk System – David Michael Ungar - 1987
198 Reflections on Standard ML – David B. MacQueen - 1992
92 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
185 Simple Generational Garbage Collection and Fast Allocation – Andrew W. Appel - 1988
76 Representing Control in the Presence of First-Class Continuations – Robert Hieb, R. Kent Dybvig, Carl Bruggeman - 1990
110 Elements of Functional Programming – C Reade - 1989
90 Revised report on the algorithmic language scheme – J Rees, W Clinger - 1986
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991