Semantics for Algebraic Operations (2001)

by Gordon Plotkin , John Power
Venue:Proc. MFPS 17, Electronic Notes in Thoeret. Comp. Sci
Citations:10 - 2 self

Documents Related by Co-Citation

813 Notions of Computation and Monads – Eugenio Moggi - 1991
480 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1436 Monads for functional programming – Philip Wadler - 1995
63 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
590 Lambda Calculi with Types – Henk Barendregt - 1993
505 Comprehending Monads – Philip Wadler - 1992
438 Category theory for computing science – M Barr, C Wells - 1990
1683 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
430 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005