Combining Continuations with Other Effects

by Martin Hyland , Paul Blain Levy , Gordon Plotkin , John Power

Active Bibliography

1 Combining Continuations with Other Effects – Martin Hyl, Paul Blain Levy, Gordon Plotkin, John Power - 2004
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
7 Monads and Modularity – Christoph Lüth, Neil Ghani
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
J is for JavaScript: A direct-style correspondence between Algol-like languages and JavaScript using . . . – Olivier Danvy, Chung-Chieh Shan, Ian Zerny
A TYPE SYSTEM FOR CALL-BY-NAME EXCEPTIONS – Sylvain Lebresne - 907
2 A System F with call-by-name exceptions – Sylvain Lebresne
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
32 A Semantic analysis of control – James David Laird - 1998
12 The Structure of Call-by-Value – Carsten Führmann - 2000
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
A Logical View of Effects – Sungwoo Park , Robert Harper
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner