From Control Effects to Typed Continuation Passing (2003)

Cached

Download Links

by Hayo Thielecke
Venue:In 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’03
Citations:19 - 2 self

Active Bibliography

1 Operational Interpretations of an Extension of F-omega with Control Operators – Robert Harper, Mark Lillibridge - 1995
9 Answer type polymorphism in call-by-name continuation passing – Hayo Thielecke - 2004
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
3 An Equivalence-Preserving CPS Translation via Multi-Language Semantics (Technical Appendix) – Amal Ahmed, Matthias Blume
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
Type Theory for Programming Languages – Robert Harper - 1994
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
Type soundness – François Pottier
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
10 Relational parametricity and control – Masahito Hasegawa