Lambda-Calculus Schemata (1993)

Cached

Download Links

by Michael J. Fischer
Citations:100 - 1 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
Acknowledgments – unknown authors
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
110 The Discoveries of Continuations – John C. Reynolds - 1993
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
On the computational complexity of dynamic slicing problems for – Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
Under consideration for publication in Math. Struct. in Comp. Science On the computational complexity of dynamic slicing problems for program schemas – Sebastian Danicic, Robert M. Hierons, Michael R. Laurence - 2010
1 The WHILE Hierarchy of Program Schemes is Infinite – Can Adam Albayrak, Thomas Noll - 1998
Continuations, Functions and Jumps – Jon G. Riecke, Hayo Thielecke - 1999
Hoare-Style Reasoning with (Algebraic) Continuations – Germán Andrés Delbianco, Aleksandar Nanevski
38 Automatically Restructuring Programs for the Web – Paul Graunke, Shriram Krishnamurthi, Robert Bruce Findler R, Matthias Felleisen - 2001
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
On the Semantics of Parsing Actions – Hayo Thielecke