Semantics for Algebraic Operations (2001)

Cached

Download Links

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

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
419 Category Theory for Computer Science – M Barr, C Wells - 1990
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
1353 Monads for functional programming – Philip Wadler - 1995
414 Algebraic Theory of Processes – M Hennessy - 1988
552 Lambda Calculi with Types – Henk Barendregt - 1993
467 Comprehending Monads – Philip Wadler - 1992
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990