Closed Freyd- and κ-Categories (1999)

Cached

Download Links

by John Power , Hayo Thielecke
Citations:5 - 0 self

Active Bibliography

14 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
459 Comprehending Monads – Philip Wadler - 1992
260 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
225 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
179 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000