Sound Rules for Parallel Evaluation of a Functional Language with callcc (1993)

Cached

Download Links

by Luc Moreau , Daniel Ribbens
Citations:5 - 4 self

Active Bibliography

1 A Parallel Functional Language With First-Class Continuations. Programming Style and Semantics – Luc Moreau
13 A Library of High Level Control Operators – Christian Queinnec - 1993
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
21 Design of a Concurrent and Distributed Language – Christian Queinnec, David De Roure - 1992
18 The Semantics of Scheme with Future – Luc Moreau - 1996
161 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
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
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
81 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
14 Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing – Luc Moreau, Christian Queinnec - 1997
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994