Modules and Type Checking in PL/LL

Lars-Erik Thorelli. Modules and Type Checking in PL/LL. In OOPSLA. pages 268-276, 1987.

Abstract

Abstract is missing.