Documents Related by Co-Citation

457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
766 Notions of Computation and Monads – Eugenio Moggi - 1991
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
174 An abstract view of programming languages – E Moggi - 1989
56 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
467 Comprehending Monads – Philip Wadler - 1992
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
50 Toposes, Triples, and Theories, Grundlehren der math. Wissenschaften 278 – M Barr, C Wells - 1985
150 Abstract syntax and variable binding – M Fiore, G Plotkin, D Turi - 1999