Pure subtype systems

DOI10.1145/1706299.1706334zbMath1312.68061OpenAlexW1977820295MaRDI QIDQ5255082

Delesley S. Hutchins

Publication date: 11 June 2015

Published in: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1706299.1706334

zbMATH Keywords

dependent typessubtypingabstract reduction systemstransitivity eliminationsingleton types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automath Type Inclusion in Barendregt’s Cube

This page was built for publication: Pure subtype systems