Reasoning about Functions with Effects (1997)

Cached

Download Links

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

Documents Related by Co-Citation

105 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
111 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
123 Bisimilarity as a theory of functional programming – Andrew Gordon
110 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
3242 Communication and Concurrency – R Milner - 1989
128 Lambda-Calculus Models of Programming Languages – J Morris - 1968