Final Shift for Call/cc: Direct Implementation of Shift and Reset (2002)

by Martin Gasbichler , Michael Sperber
Citations:14 - 0 self

Active Bibliography

Languages, Performance – Martin Gasbichler, Michael Sperber, Universität Tübingen
Languages, Performance – unknown authors
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
1 Extracting the Range of cps from Affine Typing (Extended Abstract) – Josh Berdine, Peter W. O’Hearn, Hayo Thielecke
19 From Control Effects to Typed Continuation Passing – Hayo Thielecke - 2003
9 There and Back Again – Olivier Danvy, Olivier Danvy, Mayer Goldberg, Mayer Goldberg, Mayer Goldberg - 2001
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
13 The Postmodern University – David Scott, Jinlin Guo, Colum Foley, Frank Hopfgartner, Cathal Gurrin, Alan F. Smeaton - 1998
Run-Time Code Generation for Type-Directed Partial Evaluation – Morten Rhiger - 1999
Types for Proofs and Programs – Bernd Grobauer - 1999
Keeping sums under control – Vincent Balat, Inria Università Di Genova - 2004
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
14 Memoization in type-directed partial evaluation – Vincent Balat, Olivier Danvy - 2002
2 Higher-Order Code Splicing – Peter Thiemann - 1999
XAY*Z\ [ Z!V]^Y`_a_cb R,SFTHUWV – J Kl*nmom Pq
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004