Qualified Types: Theory and Practice (1992)

by M P Jones