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