Monads, effects and transformations (1999)

Cached

Download Links

by Nick Benton , Andrew Kennedy
Venue:Electronic Notes in Theoretical Computer Science
Citations:31 - 9 self

Active Bibliography

52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
2 Bisimilarity for the region calculus – Simon Helsen
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
1318 Monads for functional programming – Philip Wadler - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
459 Comprehending Monads – Philip Wadler - 1992
An Operational Theory for a Region Calculus – Simon Helsen - 2001
An Equational Theory for a Region Calculus - Revised – Simon Helsen - 2002
Categories and Subject Descriptors: D.3.1 [Programming Languages]: Formal Definitions and Theory; F.3.2 [Logics and meanings of programs]: Semantics of Programming Languages— Operational semantics – Philip Wadler, Peter Thiemann, Universität Freiburg