Typed Logical Variables in Haskell (2000)

Cached

Download Links

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

Active Bibliography

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