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

Journal Title

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016

Conference Name

the 2016 ACM SIGPLAN International Conference

ISBN

9781450344449

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 - OOPSLA 2016 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