Qualified Types: Theory and Practice (1994)

by Mark P Jones