|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
515
|
D.: Implementation of Functional Programming Languages
– Peyton Jones, S Lester
- 1987
|
|
184
|
Concurrent Haskell
– Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne
- 1996
|
|
216
|
Report on the programming language Haskell: A non-strict, purely functional language
– Paul Hudak, Philip Wadler, Arvind Brian, Boutel Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young
- 1992
|
|
61
|
editors, Report on the programming language Haskell, a non-strict purely-functional programming language, Version 1.2. Sigplan Notices 27(5
– P Hudak, S Peyton Jones, P Wadler
- 1992
|
|
130
|
Higher-Order Modules and the Phase Distinction
– Robert Harper, John C. Mitchell, Eugenio Moggi
- 1990
|
|
195
|
Une extension de l’interprétation de Gödel à l’analyse et son application à l’élimination des coupures dans l’analyse et la théorie des types
– J-Y Girard
- 1970
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
20
|
About Charity
– Robin Cockett, Tom Fukushima
- 1992
|
|
32
|
Shapely Types and Shape Polymorphism
– C. Barry Jay, J.R.B. Cockett
- 1994
|
|
104
|
Lazy functional state threads
– John Launchbury, Simon L Peyton Jones
- 1994
|
|
45
|
Parametric overloading in polymorphic programming languages
– S Kaes
- 1988
|
|
395
|
The formulae-as-types notion of construction
– W A Howard
- 1980
|
|
115
|
The Glasgow Haskell compiler: a technical overview
– Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler
- 1992
|
|
20
|
Building interpreters by composing monads
– G L Steele Jr
- 1994
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
