Logical Abstractions in Haskell (1999)

by Nancy A. Day, John Launchbury, Jeff Lewis
Venue:In Proceedings of the 1999 Haskell Workshop