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

20 Algebra of logic programming – Silvija Seres - 1999
5 Higher-Order Transformation of Logic Programs – Silvija Seres, Mike Spivey - 2000
7 A Monadic Semantics for Core Curry – Andrew Tolmach, Sergio Antoy - 2003
16 Monadic Constraint Programming – Tom Schrijvers, Peter Stuckey, Philip Wadler - 2009
4 The Algebra of Searching – Mike Spivey, Silvija Seres - 1999
10 Combinators for Breadth-First Search – Michael Spivey
8 Relating Models of Backtracking – Mitchell Wand , Dale Vaillancourt - 2004
Applications of Functional Programming in Processing Natural and Formal Languages – Markus Forsberg, Markus Forsberg, C Markus Forsberg - 2004
27 Functional morphology – Markus Forsberg, Aarne Ranta - 2004
4 PolyLib - a library of polytypic functions – Patrik Jansson, Johan Jeuring - 1998
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
Functional Programming Olaf Chitil – unknown authors
16 Embedding prolog in haskell – Silvija Seres, Michael Spivey - 1999
Implementing Functional Generic Programming – Ulf Norell - 2004
Abstract – Ralf Lämmel - 2002
76 A Comparative Study of Language Support for Generic Programming – Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock - 2003
Lightweight Polytypic Staging of DSLs in Scala ⋆ – Alexander V. Slesarenko
Pereslavl-Zalessky ÓÄÊ 004.42(063) ÁÁÊ 22.18 – Valentin Turchin - 2012