|
1
|
Combining Continuations with Other Effects
– Martin Hyl, Paul Blain Levy, Gordon Plotkin, John Power
- 2004
|
|
6
|
Combining algebraic effects with continuations
– Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power
- 2007
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
1
|
Monad Transformers as Monoid Transformers
– Mauro Jaskelioff
|
|
7
|
Monads and Modularity
– Christoph Lüth, Neil Ghani
|
|
2
|
COPRODUCTS OF IDEAL MONADS
– Neil Ghani, Tarmo Uustalu
- 2004
|
|
22
|
Computational Effects and Operations: An Overview
– Gordon Plotkin, John Power
- 2004
|
|
29
|
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
|
|
1
|
A System F with call-by-name exceptions
– Sylvain Lebresne
|
|
1
|
A Programming Language for Probabilistic Computation
– Sungwoo Park, Geoffrey Gordon, Robert Harper
- 2005
|
|
|
A Logical View of Effects
– Sungwoo Park , Robert Harper
|
|
9
|
Axioms for Recursion in Call-by-Value
– Masahito Hasegawa, Yoshihiko Kakutani
|
|
5
|
On the call-by-value CPS transform and its semantics
– Carsten Führmann , Hayo Thielecke
- 2004
|
|
|
A Flexible Semantic Framework for Effects
– Ross Tate, Daan Leijen, Sorin Lerner
|
|
2
|
Proof Abstraction for Imperative Languages
– William L. Harrison
- 2003
|
|
5
|
Modular monad transformers
– Mauro Jaskelioff
- 2009
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
31
|
A Semantic analysis of control
– James David Laird
- 1998
|
