Typed Logical Variables in Haskell (2000)

Cached

Download Links

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

Document Versions

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