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

1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
620 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 – G Steele - 1978
123 The categorical abstract machine – G Cousineau, P-L Curien, M Mauny - 1987
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
170 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
332 P.J.,“The mechanical evaluation of expressions – Landin
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
94 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 – CHRIS 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