Computing with lattices: An application of type classes (1992)

by Mark P Jones
Venue:Journal of Functional Programming