Towards a Theory of Type Structures (1974)

by J C Reynolds
Venue:In Programming Symposium (Colloque sur la Programmation