Type soundness for dependent object types (DOT)
| dc.contributor.author | Rompf, Tiark | |
| dc.contributor.author | Amin, Nada | |
| dc.date.accessioned | 2018-09-10T22:18:28Z | |
| dc.date.available | 2018-09-10T22:18:28Z | |
| dc.date.issued | 2016-10-19 | |
| dc.identifier.uri | https://www.repository.cam.ac.uk/handle/1810/280107 | |
| dc.publisher | ACM | |
| dc.title | Type soundness for dependent object types (DOT) | |
| dc.type | Conference Object | |
| prism.publicationDate | 2016 | |
| prism.publicationName | Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications | |
| dc.identifier.doi | 10.17863/CAM.27471 | |
| rioxxterms.versionofrecord | 10.1145/2983990.2984008 | |
| rioxxterms.licenseref.uri | http://www.rioxx.net/licenses/all-rights-reserved | |
| rioxxterms.licenseref.startdate | 2016-10-19 | |
| dc.publisher.url | http://doi.acm.org/10.1145/2983990.2984008 | |
| rioxxterms.type | Conference Paper/Proceeding/Abstract | |
| cam.issuedOnline | 2016-10-19 | |
| pubs.conference-name | SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity | |
| rioxxterms.freetoread.startdate | 2017-12-25 |
Files in this item
This item appears in the following Collection(s)
-
Cambridge University Research Outputs
Research outputs of the University of Cambridge