Embedding prolog in haskell (1999)

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

Documents Related by Co-Citation

20 Algebra of logic programming – Silvija Seres - 1999
18 Typed Logical Variables in Haskell – Koen Claessen, Peter Ljunglöf - 2000
5 Prological Features In A Functional Setting Axioms And Implementations – Ralf Hinze - 1998
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
19 Polytypic unification – P Jansson, J Jeuring - 1998
86 How to replace failure by a list of successes – P Wadler - 1985
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
53 Curry: A Truly Functional Logic Language – Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro - 1995
215 An introduction to the theory of lists – R S Bird - 1987
81 Circuit design in Ruby – Geraint Jones, Mary Sheeran - 1990
4 An embedded language approach to hardware description and verification – Koen Claessen - 2000
2 An embedded modeling language approach to interactive 3d and multimedia animation – Conal Eliott - 1999
2 An integrated functional logic language, February 2000. The current report describing the language Curry, http://www.informatik.unikiel. de/~curry/report.html – Curry
2 Deriving Monad Transformers – Ralf Hinze - 1999
23 Reactive Objects and Functional Programming – Johan Nordlander - 1999
6 Programming in an integrated functional and logic programming language – J Lloyd - 1999
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
133 Building Domain-Specific Embedded Languages – Paul Hudak - 1996