A theory of qualified types. Fourth european symposium on programming (1992)

by Mark P Jones
Venue:Lecture Notes in Computer Science