Continuation-Based Multiprocessing (1980)

Cached

Download Links

by Mitchell Wand
Citations:75 - 0 self

Active Bibliography

110 The Discoveries of Continuations – John C. Reynolds - 1993
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
8 The Impact of Software Engineering Research on Modern Programming Languages – Barbara G. Ryder, Mary Lou Soffa, Margaret Burnett
82 Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control – Mark Samuel Miller - 2006
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
3 A General, Grain-Size Adaptable, Object-Oriented Programming Language for Distributed Computers – Birger Andersen - 1992
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
4 A Categorical Interpretation of Landin's Correspondence Principle – Anindya Banerjee, David A. Schmidt - 1993
10 Recursion from Iteration – Andrzej Filinski - 1994
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
16 On the Construction of Persistent Programming Environments – Alan Dearle - 1988
55 Structured programming with go to statements – Donald E. Knuth - 1974
1 Monads-DP: Outline of an Object-Oriented Concurrent Programming Model for Multiprocessor Systems – Szabolcs Ferenczi
12 Guarded Methods vs. Inheritance Anomaly - Inheritance Anomaly Solved by Nested Guarded Method Calls – Szabolcs Ferenczi - 1995
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004