Integrating subtyping, matching and type quanti cation: A practical perspective (1996)

by Andreas Gawecki, Florian Matthes
Venue:In ECOOP '96