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

Cached

Download Links

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

Documents Related by Co-Citation

83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
33 New ideas in parallel Lisp: Language design, implementation, and programming tools – Robert H Halstead - 1989
25 Continuing into the Future: On the Interaction of Futures and First-Class Continuations – Morry Katz, Daniel Weise - 1990
30 Obtaining coroutines with continuations – C T Haynes, D P Friedman, M Wand - 1986
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
12 Sound Evaluation of Parallel Functional Programs with First-Class Continuations – Luc Moreau - 1994
29 An efficient and general implementation of futures on large scale shared-memory multiprocessors – Marc Feeley - 1993
7 A Mathematical Semantics for Handling Full Jumps – Christopher Strachey, Christopher P Continuations Wadsworth - 1974
2 An Operational Semantics for a Parallel Language with Continuations – Luc Moreau - 1992
38 MultiScheme: A Parallel Processing System Based on – J Miller - 1987
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
48 Dybvig. Continuations and concurrency – R Hieb, R Kent - 1990
56 Danvy and Andrzej Filinski. Abstracting control – Olivier - 1990
101 Lambda-Calculus Schemata – Michael J. Fischer - 1993
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
51 Back to Direct Style II: First-Class Continuations – Olivier Danvy, Julia L. Lawall - 1996
333 The mechanical evaluation of expressions – P J Landin - 1964
116 A syntactic theory of sequential control – M Felleisen, D P Friedman, E Kohlbecker, B Duba - 1987