|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
104
|
Lazy functional state threads
– John Launchbury, Simon L Peyton Jones
- 1994
|
|
56
|
Detecting global variables in denotational specifications
– D A Schmidt
- 1985
|
|
37
|
Assignments for applicative languages
– Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North
- 1991
|
|
166
|
Parameter-Passing and the Lambda Calculus
– Erik Crank, Matthias Felleisen
- 1991
|
|
71
|
Single-threaded polymorphic lambda calculus
– Juan Guzman, Paul Hudak
- 1990
|
|
32
|
Call by name, assignment and the lambda calculus
– M Odersky, D Rabin, P Hudak
- 1993
|
|
67
|
Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract)
– Erik Barendsen, Sjaak Smetsers
- 1993
|
|
5
|
Mobile Agents Based on Concurrent
– M Paralič
|
|
5
|
Control-driven Data Flow
– J Kollár
|
|
6
|
PFL Expressions for Imperative Control Structures
– J Kollár
|
|
237
|
The Revised Report on the Syntactic Theories of Sequential Control and State
– Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
- 1992
|
|
31
|
Update analysis and the efficient implementation of functional aggregates
– A Bloss
- 1989
|
|
30
|
Lazy Imperative Programming
– John Launchbury
- 1993
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
10
|
Delimiting the Scope of Effects
– Jon G. Riecke
- 1993
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
219
|
Call-by-name, call-by-value, and the -calculus
– G D Plotkin
- 1975
|
