Typed Logical Variables in Haskell (2000)

Cached

Download Links

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

Documents Related by Co-Citation

27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
53 Curry: A Truly Functional Logic Language – Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro - 1995
16 Embedding prolog in haskell – Silvija Seres, Michael Spivey - 1999
144 A unified computation model for functional and logic programming – Michael Hanus - 1997
125 TOY: A multiparadigm declarative system – F López-Fraguas, J Sánchez-Hernández - 1992
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
39 Functional Logic Design Patterns – Sergio Antoy, Michael Hanus - 2002
126 Domain Specific Embedded Compilers – Daan Leijen, Erik Meijer - 1999
54 Alma-0: An Imperative Language that Supports Declarative Programming – Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf - 1998
1312 Monads for functional programming – Philip Wadler - 1995
95 An approach to declarative programming based on a rewriting logic – J C González-Moreno, M T Hortalá-González, F J López-Fraguas, M RodríguezArtalejo - 1999
37 Multi-paradigm Declarative Languages – Michael Hanus - 2007
19 Systematic generation of glass-box test cases for functional logic programs – Sebastian Fischer, Herbert Kuchen - 2007
14 High-Level Database Programming in Curry – Bernd Braßel, Michael Hanus, Marion Müller
30 Type-Oriented Construction of Web User Interfaces – Michael Hanus - 2006
53 Constructor-based Conditional Narrowing – Sergio Antoy - 2001
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze