Typed logical variables in Haskell
Artikel i vetenskaplig tidskrift, 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.

Författare

Koen Lindström Claessen

Institutionen för datavetenskap

Peter Ljunglöf

Institutionen för datavetenskap

Electronic Notes in Theoretical Computer Science

Vol. 41 1

Ämneskategorier

Datavetenskap (datalogi)