Modules and Type Checking in PL/LL

  title={Modules and Type Checking in PL/LL},
  author={Lars-Erik Thorelli},
The type system of a programming language system PL/LL is described. PL is a simple object oriented programming language and LL is a language for composing PL modules into programs. The goals of the PL/LL system are to enable the programming of efficient object-oriented computations and to provide the powerful linking language LL for facilitating the construction of large programs. The goal of the type system is to ensure efficient and secure object handling through a combination of static and… CONTINUE READING