Typed logical variables in Haskell
Journal article, 2000
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