Benjamin M. Brosgol. Some issues in data types and type checking. In John H. Williams, David A. Fisher, editors, Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976. Volume 54 of Lecture Notes in Computer Science, pages 102-130, Springer, 1976.
Abstract is missing.