Comprehending Monads (1990)

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

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
1353 Monads for functional programming – Philip Wadler - 1995
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
766 Notions of Computation and Monads – Eugenio Moggi - 1991
496 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – J E Stoy - 1977
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997