Reasoning about Programs with Effects (1990)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Citations:11 - 6 self

Active Bibliography

111 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
6 Program Transformations for Configuring Components – Ian A. Mason, Carolyn L. Talcott - 1991
734 Notions of Computation and Monads – Eugenio Moggi - 1991
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
Copyright C – By Ian Mason, Ian Mason, Carolyn Talcott
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
26 Inferring the Equivalence of Functional Programs that Mutate Data – Ian Mason, Carolyn Talcott - 1992
4 A First Order Logic of Effects – Ian A. Mason - 1996