Typed Logical Variables in Haskell

  title={Typed Logical Variables in Haskell},
  author={Koen Claessen and Peter Ljungl{\"o}f},
  journal={Electr. Notes Theor. Comput. Sci.},
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 quantiied types and the ST-monad. 
Highly Cited
This paper has 38 citations. REVIEW CITATIONS