Compiling a Functional Language (1984)

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

Active Bibliography

767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
94 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
173 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
179 Optimizing Power Using Transformations – Anantha P. Chandrakasan, Miodrag Potkonjak, Renu Mehra, Jan Rabaey, Robert W. Brodersen - 1995
172 The Multiflow Trace Scheduling Compiler – P. Geoffrey Lowney, Stefan M. Freudenberger, Thomas J. Karzes, W. D. Lichtenstein, Robert P. Nix, John S. O’donnell, John C. Ruttenberg - 1993
156 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
137 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
112 Regular expression pattern matching for XML – Haruo Hosoya, Benjamin C. Pierce - 2003