Reasoning about Functions with Effects (1997)

Cached

Download Links

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

Documents Related by Co-Citation

106 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
111 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
120 Bisimilarity as a theory of functional programming – A D Gordon - 1995
110 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
128 Lambda Calculus Models of Programming Languages – James H Morris - 1968
733 Notions of Computation and Monads – Eugenio Moggi - 1991
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
32 Reasoning about local variables with operationally-based logical relations – Andrew M. Pitts - 1996
1286 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
43 Bisimilarity for a First-Order Calculus of Objects with Subtyping – Andrew D. Gordon, Gareth D. Rees - 1996
23 Operational equivalences for untyped and polymorphic object calculi – A D Gordon - 1998
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
1562 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
26 Inferring the Equivalence of Functional Programs that Mutate Data – Ian Mason, Carolyn Talcott - 1992
3204 Communication and Concurrency – R Milner - 1989