Toward Foundations for the Understanding of Type.

db/conf/sigplan/Ross76.html Douglas T. Ross Toward Foundations for the Understanding of Type. 63-65 SIGPLAN76/P063.pdf 1976 conf/sigplan/76 Conference on Data: Abstraction, Definition and Structure db/conf/sigplan/sigplan1976.html#Ross76