On the Transformation between Direct and Continuation Semantics (1993)

Cached

Download Links

by Olivier Danvy , John Hatcliff
Venue:Proceedings of the 9th Conference on Mathematical Foundations of Programming Semantics, number 802 in Lecture Notes in Computer Science
Citations:14 - 11 self

Documents Related by Co-Citation

300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
23 Functional runtime systems within the lambda–sigma calculus – T Hardin, L Maranget, B Pagano - 1998
333 The mechanical evaluation of expressions – P J Landin - 1964
26 CPS Transformation after Strictness Analysis – Olivier Danvy, John Hatcliff, Cv Ffi S - 1993
59 From operational semantics to abstract machines – John Hannan, Dale Miller - 1992
130 Representing Monads – Andrzej Filinski - 1994
93 Rabbit: A compiler for Scheme – Guy L Steele Jr - 1978
65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
11 to direct style. Science of Computer Programming – Back - 1994
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
21 An abstract machine for lambda-terms normalization, in: M. Wand (Ed – P Crégut - 1990
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
31 A scheme for a higher-level semantic algebra – William Clinger, Daniel P Friedman, Mitchell Wand - 1985
10 Un interprète du λ-calcul. Brouillon. Available online at http://www.pps.jussieu.fr/ ∼ krivine – J-L Krivine - 1985
31 Design and correctness of program transformations based on control-flow analysis – Anindya Banerjee, Nevin Heintze, Jon G Riecke - 2001