Sciweavers

Share
ENTCS
2000

Typed Logical Variables in Haskell

8 years 10 months ago
Typed Logical Variables in Haskell
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To get full static typing we need to use the Haskell extensions of quantified types and the ST-monad.
Koen Claessen, Peter Ljunglöf
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where ENTCS
Authors Koen Claessen, Peter Ljunglöf
Comments (0)
books