|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
1497
|
The Definition of Standard ML
– R Milner, M Tofte, R Harper
- 1990
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
379
|
Introduction to higher order categorical logic
– Joachim Lambek, Philip J Scott
- 1986
|
|
263
|
Definitional interpreters for higher-order programming languages
– John C. Reynolds
- 1972
|
|
53
|
A Reflection on Call-by-Value
– Amr Sabry, Philip Wadler
- 1996
|
|
166
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
122
|
Linear Types Can Change the World!
– Philip Wadler
- 1990
|
|
352
|
ML for the working programmer
– Laurence Paulson
- 1991
|
|
219
|
Call-by-name, call-by-value, and the -calculus
– G D Plotkin
- 1975
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
156
|
Alias Types
– Frederick Smith, David Walker, Greg Morrisett
- 1999
|
|
148
|
Call-by-name, call-by-value, and the lambda calculus
– G Plotkin
- 1975
|
|
295
|
Concepts in Programming Languages
– J C Mitchell
- 2003
|
|
18
|
The De nition of Standard ML (Revised
– R Milner, M Tofte, R Harper, D MacQueen
- 1997
|
|
112
|
Formal Parametric Polymorphism
– Martin Abadi , Luca Cardelli, Pierre-Louis Curien
- 1993
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
