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

Active Bibliography

Compiling a Functional Language – Luca Cardelli Att, Luca Cardelli - 1984
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
92 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
1 A Novel Approach Towards Peephole Optimisations – Andrew Gill - 1991
18 Delivering the Benefits of Persistence to System Construction and Execution – Quintin I. Cutts - 1992
16 Hardware/Software Co-Design using Functional Languages – Alan Mycroft, Richard Sharp - 2001
5 Tree Pattern Matching for ML (Extended Abstract) – Marianne Baudinet, Marianne Baudinet, David Macqueen, David Macqueen - 1985
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
14 Efficient data representation in polymorphic languages – Xavier Leroy
Generation of Efficient Virtual Machine (Extended Abstract) – Ken Wakita, Yuji Uchiyama, Daisuke Ogata
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
20 Non-Strict Languages - Programming and Implementation – S. C. Wray, J. Fairbairn - 1994
7 A Virtual Machine for a Type-ω Denotational Proof Language – Teodoro Arvizo, III - 2002
1 Graph-based Operational Semantics of a Lazy Functional Language – Kristoffer H. Rose, Kristoffer H. Rose
102 Compiling with Types – Greg Morrisett - 1995
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
20 Abstract machines for programming language implementation – Stephan Diehl, Pieter Hartel, Peter Sestoft - 2000
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004