Towards more flexible type systems

Publisher Website

1 January 1974

book chapter
Published by Springer Nature

p. 377-384
https://doi.org/10.1007/3-540-06859-7_146

Abstract

No abstract available

Keywords

EXPENSE

This publication has 3 references indexed in Scilit:

Towards a theory of type structure
Lecture Notes in Computer Science, 1974
Types are not sets
Published by Association for Computing Machinery (ACM) ,1973
Protection in programming languages
Communications of the ACM, 1973