Comprehending Monads (1990)

by Philip Wadler
Venue:Mathematical Structures in Computer Science
Citations:455 - 13 self

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
730 Notions of Computation and Monads – Eugenio Moggi - 1991
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
20 Building interpreters by composing monads – G L Steele Jr - 1994
9 Modular Denotational Semantics. Unpublished Manuscript – D Espinosa - 1993
63 editors. Report on the Programming Language Haskell 98. A non-strict Purely Functional Language – S Peyton Jones, J Hughes - 1999
53 The essence of functional programming (invited talk – Philip Wadler - 1992
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
201 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
9 An Experiment Using Haskell To Prototype "Geometric Region Servers" for Navy Command And Control – W E Carlson, P Hudak, M P Jones - 1993
28 Modular Monadic Semantics and Compilation – Sheng Liang - 1998
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
4 Prototyping demonstration problem for the prototech hiper-d joint prototyping demonstration project – J Caruso - 1993