A Parallel Functional Language With First-Class Continuations. Programming Style and Semantics (0)

Cached

Download Links

by Luc Moreau
Venue:Computers and Artificial Intelligence
Citations:1 - 0 self

Active Bibliography

5 An Operational Semantics for a Parallel Functional Language With Continuations – Luc Moreau - 1992
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
Representing Control in Parallel Applicative Programming – Chi Yao - 1994
5 Sound Rules for Parallel Evaluation of a Functional Language with callcc – Luc Moreau, Daniel Ribbens - 1993
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
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
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
Continuing Into the Future: the Return – Luc Moreau - 1996
Subcontinuations – Robert Hieb, R. Kent Dybvig, Claude W. Anderson - 1993
8 Threads Yield Continuations – Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig - 1997
18 The Semantics of Scheme with Future – Luc Moreau - 1996
8 The PCKS-machine. an abstract machine for sound evaluation of parallel functional programs with first-class continuations – Luc Moreau - 1994
14 Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing – Luc Moreau, Christian Queinnec - 1997
19 Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators – Luc Moreau, Christian Queinnec - 1994
33 Concurrent ML: Design, Application and Semantics – John H. Reppy - 1993
A Portable Multiprocessor Interface – Andrew Tolmach
5 A Portable Multiprocessor Interface for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 1992