Delimiting the Scope of Effects (1993)

Cached

Download Links

by Jon G. Riecke
Venue:In Proceedings of the Conference on Functional Programming Languages and Computer Architecture
Citations:11 - 1 self

Active Bibliography

19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
Representing Control in Parallel Applicative Programming – Chi Yao - 1994
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
1 Semantic Orthogonality of Type Disciplines – Jon G. Riecke, Ramesh Subrahmanyam - 1997
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
1 Theory for Software Verification – David A. Naumann - 2009
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
The Logic and Expressibility of Simply-typed Call-by-value and Lazy Languages – Albert R. Meyer, Campbell L. Searle, Jon G. Riecke, Jon Gary Riecke - 1991
3 An Equivalence-Preserving CPS Translation via Multi-Language Semantics (Technical Appendix) – Amal Ahmed, Matthias Blume
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
1 A Framework for Programming Denotational Semantics in C++ – Nikolaos S. Papaspyrou - 1996
18 Handling Control – Dorai Sitaram - 1993
32 A Semantic analysis of control – James David Laird - 1998
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
8 Typed Exceptions and Continuations Cannot Macro-Express Each Other – Jon G. Riecke, Hayo Thielecke - 1999