Parameterized Types for Java (1997)

by A Myers, J Bank, B Liskov
Venue:In POPL