Type-safe composition of object modules (1994)

by G Banavar, G Lindstrom, D Orr
Venue:in Computer Systems and Education: In honour of Prof. V. Rajaraman