|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
20
|
Building interpreters by composing monads
– G L Steele Jr
- 1994
|
|
116
|
Representing Monads
– Andrzej Filinski
- 1994
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
369
|
Category Theory for Computing Science
– M Barr, C Wells
- 1990
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
173
|
Jirí Rosicky, Locally Presentable and Accessible Categories
– Jirí Adamek
- 1994
|
|
39
|
A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so
– G M Kelly
- 1980
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
221
|
Principal type schemes for functional programs
– L Damas, H Milner
- 1982
|
|
32
|
On embedding a microarchitectural design language within Haskell
– John Launchbury, Jeffrey R. Lewis, Byron Cook
- 1999
|
|
27
|
Building Interpreters by Composing Monads
– Guy L. Steele, Jr.
- 1994
|
