The Modula-3 Type System
Abstract
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
Related papers
- Specification of Abstract Data Types in Modula TOPLAS 1980
- Simple and Effective Link-Time Optimization of Modula-3 Programs PLDI 1995
- Baby Modula-3 and a Theory of Objects JFP 1994
- Modula-2 and Oberon HOPL 2007
- Semantic Analyzer of Modula-Programs SAS 1997
- Using types to analyze and optimize object-oriented programs TOPLAS 2001
- Type-Based Alias Analysis PLDI 1998
- A portable optimizing compiler for Modula-2 PLDI 1984