Efficient monadic-style backtracking (1996)

Cached

Download Links

by Ralf Hinze
Citations:3 - 2 self

Documents Related by Co-Citation

12 S.: Integrating Prolog into the Poplog environment – C Mellish, Hardy - 1984
730 Notions of Computation and Monads – Eugenio Moggi - 1991
2 How to declare an imperative (invited paper – Philip Wadler - 1995
2 Danvy and Andrzey Filinski. Abstracting control – Olivier - 1990
47 First-class Polymorphism with Type Inference – Mark P. Jones
19 Operational and denotational semantics of Prolog – B Arbab, D M Berry - 1987
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992
34 Benchmarking implementations of lazy functional languages II - Two years later – Pieter H. Hartel - 1993
163 An abstract view of programming languages – E Moggi - 1989
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
54 Programming objects with ML-ART: an extension to ML with abstract and record types – D Rémy - 1994
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
1312 Monads for functional programming – Philip Wadler - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
190 The art of Prolog: advanced programming techniques – L Sterling, E Shapiro - 1986
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
16 On implementing Prolog in functional programming – Mats Carlsson - 1984