June 1995b], "Simplifying and improving qualified types (0)

by MP Jones
Venue:in Proc Functional Programming Languages and Computer Architecture, La Jolla, ACM