Typed Logical Variables in Haskell (2000)

View PDF

Download Links

by Koen Claessen , Peter Ljunglöf
Venue:In Proceedings Haskell Workshop
Citations:19 - 0 self

Active Bibliography

Abstract – Koen Claessen, Peter Ljunglöf - 2005
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
299 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
296 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
179 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
152 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
138 A unified computation model for functional and logic programming – Michael Hanus - 1997
20 Algebra of logic programming – Silvija Seres - 1999
125 Implementing Type Classes – John Peterson, Mark Jones