Efficient monadic-style backtracking (1996)

Cached

Download Links

by Ralf Hinze
Citations:3 - 2 self

Active Bibliography

13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
5 Prological Features In A Functional Setting Axioms And Implementations – Ralf Hinze - 1998
Modular Monadic Semantics – Sheng Liang, Paul Hudak
3 From Inheritance to Feature Interaction or Composing Monads – Christian Prehofer - 1997
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
12 Monads for Natural Language Semantics – Chung-Chieh Shan
10 Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. – Luc Duponcheel - 1995
Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates – J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del Rio, A. Cernuda Del Río - 2001
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
96 How to Declare an Imperative – Philip Wadler - 1995
2 Deriving Monad Transformers – Ralf Hinze - 1999
8 A Study of Evaluation Order Semantics in Expressions with Side Effects – Nikolaos S. Papaspyrou, Dragan Macos, Dragan Ma - 2000
16 Monads as a theoretical foundation for AOP – Wolfgang De Meuter - 1997
7 Metacomputation-based compiler architecture – William L. Harrison, Samuel N. Kamin - 2000
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
55 Representing Layered Monads – Andrzej Filinski - 1999
2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
15 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999