Sciweavers

POPL
1989
ACM
13 years 8 months ago
The Modula-3 Type System
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
Luca Cardelli, James E. Donahue, Mick J. Jordan, B...