Reasoning about Functions with Effects (1997)

Cached

Download Links

by Carolyn Talcott
Venue:See Gordon and Pitts
Citations:13 - 1 self

Active Bibliography

48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
4 A First Order Logic of Effects – Ian A. Mason - 1996
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
5 On generic context lemmas for lambda calculi with sharing – Manfred Schmidt-Schauß, David Sabel - 2008
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
34 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
39 Categorical Models for Local Names – Ian Stark - 1996
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
29 References, Local Variables and Operational Reasoning – Ian A. Mason, Carolyn L. Talcott - 1992
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
1 Denotational Semantics Using an Operationally-Based Term Model – Mitchell Wand, Gregory T. Sullivan - 1997
2 Bisimilarity for the region calculus – Simon Helsen
MFPS 2011 Capsules and Closures – Jean-baptiste Jeannin
4 Computing with Capsules – Jean-baptiste Jeannin, Dexter Kozen - 2011
1 Two Applications of Standardization and Evaluation in Combinatory Reduction Systems – Robert Muller, J. B. Wells - 2000
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008