|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
12
|
Beauty in the beast: A functional semantics of the awkward squad
– W Swierstra, T Altenkirch
- 2007
|
|
15
|
Functional Pearl: The Zipper
– Gérard Huet, Inria Rocquencourt France
- 1997
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
11
|
Syntax for free: Representing syntax with binding using parametricity
– Robert Atkey
- 2009
|
|
6
|
Unembedding Domain-Specific Languages
– Robert Atkey, Sam Lindley, Jeremy Yallop
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
252
|
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
– Koen Claessen, John Hughes
- 2000
|
|
137
|
A Denotational Semantics of Inheritance
– William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth
- 1989
|
|
27
|
The derivative of a regular type is its type of one-hole contexts (extended abstract), 2001. Unpublished manuscript, available via http://strictlypositive.org/diff.pdf. Conor McBride and Ross Paterson. Applicative programming with effects
– Conor Mcbride
|
|
42
|
Applicative programming with effects
– Conor Mcbride, Ross Paterson
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
9
|
Monatron: an extensible monad transformer library. Available at http://www.cs.nott.ac.uk/~mjj/pubs/monatron.pdf
– Mauro Jaskelioff
|
|
21
|
Composing Monads Using Coproducts
– Christoph Lüth, Neil Ghani
- 2002
|
|
10
|
EffectiveAdvice: Disciplined Advice with Explicit Effects
– Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook
|
|
27
|
Parameterised notions of computation
– Robert Atkey
- 2006
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
