|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
219
|
Call-by-name, call-by-value, and the -calculus
– G D Plotkin
- 1975
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
39
|
A functional theory of exceptions
– M Spivey
- 1990
|
|
303
|
Denotational Semantics: A Methodology for Language Development
– D A SCHMIDT
- 1986
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
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
|
|
117
|
Report on the functional programming language Haskell, Version 1.2
– P Hudak, SL Peyton Jones, PL Wadler, B Boutel Arvind, J Fairbairn, J Fasel
- 1992
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
107
|
Continuation-passing, closure-passing style
– Trevor Jim
- 1989
|
|
379
|
Introduction to Higher Order Categorical Logic
– J Lambek, P J Scott
- 1986
|
|
83
|
Control operators, the SECD machine and the -calculus
– M Felleisen, D P Friedman
- 1986
|
|
121
|
Linear Types Can Change the World!
– Philip Wadler
- 1990
|
|
155
|
The essence of Algol
– J C Reynolds
- 1981
|
|
23
|
A Category-Theoretic Account of Program Modules
– Eugenio Moggi
- 1994
|
|
56
|
Detecting global variables in denotational specifications
– D A Schmidt
- 1985
|
|
71
|
Single-threaded polymorphic lambda calculus
– Juan Guzman, Paul Hudak
- 1990
|
|
83
|
How to replace failure by a list of successes
– Philip Wadler
- 1985
|
