Typed Logical Variables in Haskell (2000)

View PDF

Download Links

by Koen Claessen , Peter Ljunglöf
Venue:In Proceedings Haskell Workshop
Citations:19 - 0 self

Document Versions

Typed Logical Variables in Haskell –Koen Claessen, Peter Ljunglöf — 2000 — In Proceedings Haskell Workshop
Typed Logical Variables in Haskell –Koen Claessen — 2000 — In Proc. ACM SIGPLAN Haskell Workshop