Typed logical variables in Haskell
Journal article, 2000

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. To get full static typing we need to use the Haskell extensions of quantified types and the ST-monad.

Author

Koen Lindström Claessen

Department of Computer Science

Peter Ljunglöf

Department of Computer Science

Electronic Notes in Theoretical Computer Science

Vol. 41 1

Subject Categories

Computer Science

More information

Latest update

3/2/2020 9