A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state (2008)

by Johan Munk
Citations:4 - 0 self

Documents Related by Co-Citation

5 A Structured Approach to the Transformation, Normalization and Execution of Computer Programs – Kevin Millikin - 2007
9 The Theory and Practice of Programming Languages with Delimited Continuations – Dariusz Biernacki - 2005
8 Partial Evaluation of String Matchers & Constructions of Abstract Machines – Mads Sig Ager - 2006
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
7 Transformation, Analysis, and Interpretation of Higher-Order Procedural Programs – J Midtgaard - 2007
19 An Analytical Approach to Program as Data Objects. DSc thesis – Olivier Danvy - 2006
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004
24 Programming languages and lambda calculi. Unpublished lecture notes – M Felleisen, M Flatt
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
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
93 Rabbit: A compiler for Scheme – Guy L Steele Jr - 1978
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
18 An operational foundation for delimited continuations in the CPS hierarchy – Dariusz Biernacki, Olivier Danvy - 2005
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
3 An investigation of Abadi and Cardelli’s untyped calculus of objects – Jacob Johannsen - 2008