Definitional interpreters for higher-order programming languages (1972)

by John C. Reynolds
Venue:Reprinted from the proceedings of the 25th ACM National Conference
Citations:299 - 2 self

Documents Related by Co-Citation

1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
331 The mechanical evaluation of expressions – P J Landin - 1964
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
620 Compiling with Continuations – Andrew W Appel - 1992
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
220 Call-by-name, call-by-value, and the #-calculus – G Plotkin - 1975
1090 Proof-Carrying Code – George C. Necula - 1997
179 The next 700 programming languages – P J Landin - 1966
84 A Theory of Programming Language Semantics – R Milne, C Strachey - 1976
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
100 Lambda-Calculus Schemata – Michael J. Fischer - 1993
128 Rabbit: A compiler for Scheme – G Steele - 1978
171 Call-by-name, call-by-value, and the lambda calculus – G Plotkin - 1975
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
15 Proving algorithms by tail functions – A Mazurkiewicz - 1971
191 Outline of a mathematical theory of computation – D S Scott - 1970