Types are not sets

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1973, Pages 120-124

  Morris, James H ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

REYNOLDS; TYPE SYSTEMS;

ALGOL (PROGRAMMING LANGUAGE);

EID: 85059176860     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512927.512938     Document Type: Conference Paper

References (6)

1. van Wijngaarden, A., "Repart on the Algorithmic Language ALGOL-68," Mathematische Centrum, 1969.
2. Scott, D., "Outline of a Mathematical Theory of Computation," PRG-2, Oxford University.
3. Reynolds, J.C., "A Set-Theoretic Approach to the concept of Type," Argonne National Laboratories, 1969.
4. Dahl, O.J., and Hoare, C.A.R., "Hierarchical Program Structure," Structural Programming, Academic Press, 1972.
5. Morris, J.H., "Protection in Programming Languages," Comm ACM, 16 (1), Jan. 1973.
6. Wulf, W.A., et. Al., "Hydra: the Kernal of a Multiprocessor Operating System," Department of Computer Science, Carnegie Mellon University, June 1973.