Challenges in Type Systems Research

Martin Odersky. Challenges in Type Systems Research. ACM Computing Surveys, 28(4es):169, 1996.

Abstract

Abstract is missing.