Isolating Side Effects in Sequential Languages (1995)

Cached

Download Links

by Jon G. Riecke , Ramesh Viswanathan
Venue:In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’95
Citations:19 - 2 self

Active Bibliography

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
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
1 Denotational Semantics Using an Operationally-Based Term Model – Mitchell Wand, Gregory T. Sullivan - 1997
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
47 Algorithmic Game Semantics – Samson Abramsky - 2001
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
2 An Explicit Polymorphic Type System for Verifying Untrusted Low-Level Codes – Jaeyoun Chung - 2000
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006