|
46
|
First-class Polymorphism with Type Inference
– Mark P. Jones
|
|
14
|
From Hindley-Milner types to first-class structures
– Mark P. Jones
- 1995
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
10
|
Prolog's Control Constructs in a Functional . . .
– Ralf Hinze
|
|
8
|
Exploring the Design Space for Type-based Implicit Parameterization
– Mark P. Jones
- 1999
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
|
Domain-Specific Embedded Languages
– Kevin Backhouse
- 2002
|
|
|
Modular Monadic Semantics
– Sheng Liang, Paul Hudak
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
2
|
Efficient monadic-style backtracking
– Ralf Hinze
- 1996
|
|
|
A Data Structure for More Efficient . . .
– Melissa Elizabeth O’Neill
- 1994
|
|
|
A Modular, Algebra-Sequenced Paramorphic . . .
– Mark H. Snyder
- 2007
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
21
|
Composing Monads Using Coproducts
– Christoph Lüth, Neil Ghani
- 2002
|
|
7
|
Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters.
– Luc Duponcheel
- 1995
|
|
|
Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates
– J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del Rio, A. Cernuda Del Río
- 2001
|
