Towards a theory of type structure-Reference-Cited by-同舟云学术

Towards a theory of type structure

Published:1974 Issue: Volume: Page:408-425
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Reynolds John C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-06859-7_148.pdf

Reference14 articles.

1. Van Wijngaarden, A., Mailloux, B. J., Peck, J. E. L., and Koster, C. H. A., Report on the Algorithmic Language ALGOL 68. MR 101 Mathematisch Centrum, Amsterdam, October 1969. Also Numerische Mathematik 14 (1969) 79–218.

2. Cheatham, T. E., Jr., Fischer, A., and Jorrand, P., On the Basis for ELF-An Extensible Language Facility. Proc. AFIPS 1968 Fall Joint Comput. Conf., Vol. 33 Pt. 2, MDI Publications, Wayne, Pa., pp. 937–948.

3. Reynolds, J. C., A Set-theoretic Approach to the Concept of Type. Working paper, NATO Conf. on Techniques in Software Engineering, Rome, October 1969.

4. Morris, J. H., "Protection in Programming Languages," Comm. ACM, 16 (1), January 1973.

5. Morris, J. H., Types are not Sets. Proc. ACM Symposium on Principle of Programming Languages, Boston 1973, pp. 120–124.

Cited by 204 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma;Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development;2024-08-28

2. Mathematical Structures Within Simple Type Theory;Studia Logica;2024-07-23

3. Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language;Electronic Proceedings in Theoretical Computer Science;2024-07-10

4. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10

5. Internal and Observational Parametricity for Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05