Efficient monadic-style backtracking (1996)

View PDF

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
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1353 Monads for functional programming – Philip Wadler - 1995
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1096 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1165 Proof-Carrying Code – George C. Necula - 1997