Typed Logical Variables in Haskell (2000)

by Koen Claessen, Peter Ljunglöf
Venue:In Proceedings Haskell Workshop