|
27
|
A Functional Theory of Local Names
– Martin Odersky
- 1994
|
|
20
|
Correctness of Monadic State: An Imperative Call-by-Need Calculus
– Zena M. Ariola, Amr Sabry
- 1998
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
64
|
Composing Monads
– Mark P. Jones, Luc Duponcheel
- 1993
|
|
27
|
Monadic Encapsulation of Effects: A Revised Approach (Extended Version)
– E. Moggi, Amr Sabry
- 1999
|
|
17
|
Isolating Side Effects in Sequential Languages
– Jon G. Riecke, Ramesh Viswanathan
- 1995
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
18
|
Lightweight GUIs for Functional Programming
– Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte
- 1995
|
|
1
|
Structuring Functional Programs By Using Monads
– Davor Obradovic
- 1998
|
|
1
|
Dynamically Adaptable Software with Metacomputations in a Staged Language
– Bill Harrison, Tim Sheard
- 2001
|
|
15
|
Monadic Encapsulation in ML
– Miley Semmelroth, Amr Sabry
- 1999
|
|
3
|
Type reconstruction for SCI
– Howard Huang, Uday Reddy
- 1996
|
|
|
State in Haskell
– John Launchbury Jl, John Launchbury, Simon L Peyton Jones
- 1996
|
|
104
|
Lazy functional state threads
– John Launchbury, Simon L Peyton Jones
- 1994
|
|
|
Final report on the GRASP project
– Simon L. Peyton Jones, Philip Wadler, Cordelia Hall, Kevin Hammond, Will Partain, Simon Peyton Jones, Phil Wadler
- 1993
|
|
98
|
An Interaction-based Language and its Typing System
– Kaku Takeuchi, Kohei Honda, Makoto Kubo
- 1994
|
|
13
|
Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads ---
– Chih-ping Chen, Paul Hudak
- 1997
|
|
19
|
The Design and Implementation of Mondrian
– Erik Meijer, Koen Claessen
- 1997
|
|
54
|
The implementation of the Gofer functional programming system
– Mark P. Jones
- 1994
|
