|
15
|
A Concurrent and Distributed Extension of Scheme
– Christian Queinnec
- 1992
|
|
11
|
A Library of High Level Control Operators
– Christian Queinnec
- 1993
|
|
|
Subcontinuations
– Robert Hieb, R. Kent Dybvig, Claude W. Anderson
- 1993
|
|
5
|
Sound Rules for Parallel Evaluation of a Functional Language with callcc
– Luc Moreau, Daniel Ribbens
- 1993
|
|
7
|
Threads Yield Continuations
– Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig
- 1997
|
|
1
|
A Parallel Functional Language With First-Class Continuations. Programming Style and Semantics
– Luc Moreau
|
|
5
|
An Operational Semantics for a Parallel Functional Language With Continuations
– Luc Moreau
- 1992
|
|
5
|
Value Transforming Style
– Christian Queinnec
- 1992
|
|
10
|
A Monadic Framework for Delimited Continuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
26
|
A Syntactic Theory of Dynamic Binding
– Luc Moreau
- 1997
|
|
10
|
Correctness of a Distributed-Memory Model for Scheme
– Luc Moreau
- 1996
|
|
409
|
MULTILISP: a language for concurrent symbolic computation
– Robert H. Halstead
- 1985
|
|
|
Representing Control in Parallel Applicative Programming
– Chi Yao
- 1994
|
|
7
|
The PCKS-machine. an abstract machine for sound evaluation of parallel functional programs with first-class continuations
– Luc Moreau
- 1994
|
|
3
|
Type-directed continuation allocation
– Zhong Shao, Valery Trifonov
- 1998
|
|
|
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
|
|
6
|
Distributed Computations Driven by Resource Consumption
– Luc Moreau, Christian Queinnec
- 1998
|
|
11
|
Inverting back the inversion of control or, Continuations versus page-centric programming
– Christian Queinnec
- 2001
|
