Some issues in data types and type checking.

Benjamin M. Brosgol Some issues in data types and type checking. 102-130 1976 conf/sigada/1976 Design and Implementation of Programming Languages db/conf/sigada/ada1976.html#Brosgol76