Typed logical variables in Haskell (2000)

by Koen Claessen, Peter Ljunglöf
Venue:In Proc. of Haskell Workshop. ACM SIGPLAN