|
14
|
On implementing Prolog in functional programming
– Mats Carlsson
- 1984
|
|
2
|
How to declare an imperative (invited paper
– Philip Wadler
- 1995
|
|
2
|
Danvy and Andrzey Filinski. Abstracting control
– Olivier
- 1990
|
|
11
|
Integrating prolog in the POPLOG environment
– Mellish, Hardy
- 1984
|
|
33
|
Benchmarking implementations of lazy functional languages II - Two years later
– Pieter H. Hartel
- 1993
|
|
46
|
First-class Polymorphism with Type Inference
– Mark P. Jones
|
|
51
|
Programming objects with ML-ART: An extension to ML with abstract and record types
– Didier Rémy
- 1994
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
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
|
|
192
|
Standard ML of New Jersey
– Andrew W. Appel, David B. Macqueen
- 1991
|
|
168
|
The Art of Prolog: Advanced Programming Techniques
– L Sterling, E Shapiro
- 1986
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
317
|
The Integration of Functions into Logic Programming: From Theory to Practice
– Michael Hanus
- 1994
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
19
|
Operational and denotational semantics of PROLOG
– Bijan Arbib, Daniel M Berry
- 1987
|
|
64
|
Composing Monads
– Mark P. Jones, Luc Duponcheel
- 1993
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
