Logical Abstractions in Haskell (1999)

Cached

Download Links

by Nancy A. Day , John Launchbury , Jeff Lewis
Venue:In Proceedings of the 1999 Haskell Workshop
Citations:7 - 0 self