|
1
|
A Parallel Functional Language With First-Class Continuations. Programming Style and Semantics
– Luc Moreau
|
|
11
|
A Library of High Level Control Operators
– Christian Queinnec
- 1993
|
|
26
|
A Syntactic Theory of Dynamic Binding
– Luc Moreau
- 1997
|
|
21
|
Design of a Concurrent and Distributed Language
– Christian Queinnec, David De Roure
- 1992
|
|
19
|
The Semantics of Scheme with Future
– Luc Moreau
- 1996
|
|
150
|
Reasoning about Programs in Continuation-Passing Style
– Amr Sabry Sabry, Matthias Felleisen
|
|
5
|
An Operational Semantics for a Parallel Functional Language With Continuations
– Luc Moreau
- 1992
|
|
10
|
Correctness of a Distributed-Memory Model for Scheme
– Luc Moreau
- 1996
|
|
|
Representing Control in Parallel Applicative Programming
– Chi Yao
- 1994
|
|
5
|
Value Transforming Style
– Christian Queinnec
- 1992
|
|
13
|
An Operational Foundation for Delimited Continuations
– Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
- 2003
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
19
|
Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators
– Luc Moreau, Christian Queinnec
- 1994
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
2
|
Non-speculative and Upward Invocation of Continuations in a Parallel Language
– Luc Moreau
- 1995
|
|
1
|
The Semantics of Future in the Presence of First-Class Continuations and Side-effects
– Luc Moreau
- 1995
|
|
|
On the Finiteness of Resources in Distributed Computing
– Luc Moreau, Luc Moreau (u. Of Southampton, Luc Moreau (u. Of Southampton, Christian Queinnec (cristal, Christian Queinnec (cristal, Projet Cristal
- 1996
|
|
13
|
Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing
– Luc Moreau, Christian Queinnec
- 1997
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
