Comprehending Monads (1990)

by Philip Wadler
Venue:Mathematical Structures in Computer Science
Citations:505 - 16 self

Documents Related by Co-Citation

12796 Computers and Intractability: A Guide to the Theory of NP-completeness – M R Garey, D S Johnson - 1978
1436 Monads for functional programming – Philip Wadler - 1995
480 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1683 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
813 Notions of Computation and Monads – Eugenio Moggi - 1991
521 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1977
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1090 Categories for the Working Mathematician – Mac Lane, S - 2000
658 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997