Embedding prolog in haskell (1999)

by Silvija Seres , Michael Spivey
Venue:Department of Computer Science, University of Utrecht
Citations:16 - 4 self

Active Bibliography

20 Algebra of logic programming – Silvija Seres - 1999
4 Declarative Debugging of Functional Logic Programs – M. Alpuente, F. J. Correa, M. Falaschi - 2001
Programming with Narrowing: a Tutorial – Sergio Antoy
Implementation Issues for Functional Logic Programming – Herbert Kuchen, In E. G. Alf
140 A unified computation model for functional and logic programming – Michael Hanus - 1997
A Simple Operational Model for Concurrent Functional Logic Programming – Michael Hanus
13 A Debugging Scheme for Functional Logic Programs – M. Alpuente, F. J. Correa, M. Falaschi - 2002
53 Curry: A Truly Functional Logic Language – Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro - 1995
290 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
96 How to Declare an Imperative – Philip Wadler - 1995
35 Semantic Lego – David Espinosa - 1995
35 The Integration of Functions into Logic Programming: A Survey – Michael Hanus - 1994
PhD Thesis Proposal – Ian J. Lewis - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
455 Comprehending Monads – Philip Wadler - 1992
35 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
Lazy Type Checking in Functional Logic Programming – Jesús M. Almendros-Jiménez
Unifying Theories of Programming with Monads – Jeremy Gibbons
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999