Type soundness for dependent object types (DOT)
View / Open Files
Authors
Rompf, Tiark
Amin, Nada
Publication Date
2016-10-19Journal 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
Publisher
ACM
Type
Conference Object
Metadata
Show full item recordCitation
Rompf, T., & Amin, N. (2016). Type soundness for dependent object types (DOT). Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications https://doi.org/10.1145/2983990.2984008
Identifiers
External DOI: https://doi.org/10.1145/2983990.2984008
This record's URL: https://www.repository.cam.ac.uk/handle/1810/280107
Rights
Licence:
http://www.rioxx.net/licenses/all-rights-reserved
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.