Thunks and the λ-calculus (1997)

by John Hatcliff , Olivier Danvy
Venue:IN THE JOURNAL OF FUNCTIONAL PROGRAMMING. RS-97-6 OLIVIER DANVY AND ULRIK
Citations:21 - 9 self

Documents Related by Co-Citation

201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
730 Notions of Computation and Monads – Eugenio Moggi - 1991
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
625 Compiling With Continuations – A W Appel - 1992
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
110 The Discoveries of Continuations – John C. Reynolds - 1993
333 The mechanical evaluation of expressions – P J Landin - 1964
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
59 From operational semantics to abstract machines – John Hannan, Dale Miller - 1992
49 Back to Direct Style – Olivier Danvy - 1994
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
10 Un interprète du λ-calcul. Brouillon. Available online at http://www.pps.jussieu.fr/ ∼ krivine – J-L Krivine - 1985
65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
17 Essentials of Programming Languages, second edition – D P Friedman, M Wand, C T Haynes - 2001
34 Correctness of procedure representations in higher-order assembly language – Mitchell Wand - 1991