Typed Logical Variables in Haskell (2000)

Cached

Download Links

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

Documents Related by Co-Citation

8668 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
1318 Monads for functional programming – Philip Wadler - 1995
1862 Foundations of Logic Programming – J W Lloyd - 1987
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
459 Comprehending Monads – Philip Wadler - 1992
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
965 Negation as failure – K L Clark - 1978
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996