Type soundness for dependent object types (DOT)
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Rompf, Tiark
Amin, Nada
Description
Keywords
46 Information and Computing Sciences, 4904 Pure Mathematics, 49 Mathematical Sciences, 50 Philosophy and Religious Studies, 5003 Philosophy, 4612 Software Engineering
Journal Title
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Conference Name
SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Journal ISSN
Volume Title
Publisher
ACM