Reasoning about Functions with Effects (1997)

View PDF

Download Links

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

Active Bibliography

50 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
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
985 A theory of type polymorphism in programming – Robin Milner - 1978
235 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999