Repository logo
 

Type soundness for dependent object types (DOT)

Accepted version
Peer-reviewed

Type

Conference Object

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