Typed Logical Variables in Haskell (2000)

Cached

Download Links

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