Type soundness for dependent object types (DOT)

Rompf, Tiark; Amin, Nada

View / Open Files

Accepted version (PDF, 356Kb)

Authors

Rompf, Tiark

Amin, Nada

Publication Date

2016-10-19

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

Publisher

ACM

Type

Conference Object

Metadata

Show full item record

Citation

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.