Computational lambda-calculus and monads (1989)

by Eugenio Moggi
Citations:437 - 6 self

Documents Related by Co-Citation

456 Comprehending Monads – Philip Wadler - 1992
1312 Monads for functional programming – Philip Wadler - 1995
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
730 Notions of Computation and Monads – Eugenio Moggi - 1991
63 editors. Report on the Programming Language Haskell 98. A non-strict Purely Functional Language – S Peyton Jones, J Hughes - 1999
117 Report on the functional programming language Haskell: A non-strict, purely functional language: Version 1.2 – Peyton Jones P, S L, P Wadler - 1992
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
42 A functional theory of exceptions – M Spivey - 1990
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
930 Categories for the Working Mathematician – S Mac Lane - 1971
53 The essence of functional programming (invited talk – Philip Wadler - 1992
134 Linear Types Can Change the World! – Philip Wadler - 1990
94 The De nition of Standard ML – Robin Milner, Mads Tofte, David Macqueen - 1997
23 A Category-Theoretic Account of Program Modules – Eugenio Moggi - 1994
60 A Reflection on Call-by-Value – Amr Sabry, Philip Wadler - 1996
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996