Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
The Modula-3 Type System
POPL, 1989.
@inproceedings{POPL-1989-CardelliDJKN,
author = "Luca Cardelli and James E. Donahue and Mick J. Jordan and Bill Kalsow and Greg Nelson",
booktitle = "{Conference Record of the 16th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/75277.75295",
isbn = "0-89791-294-2",
pages = "202--212",
publisher = "{ACM Press}",
title = "{The Modula-3 Type System}",
year = 1989,
}