Show simple item record

dc.contributor.authorRompf, Tiark
dc.contributor.authorAmin, Nada
dc.date.accessioned2018-09-10T22:18:28Z
dc.date.available2018-09-10T22:18:28Z
dc.date.issued2016-10-19
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/280107
dc.publisherACM
dc.titleType soundness for dependent object types (DOT)
dc.typeConference Object
prism.publicationDate2016
prism.publicationNameProceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
dc.identifier.doi10.17863/CAM.27471
rioxxterms.versionofrecord10.1145/2983990.2984008
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserved
rioxxterms.licenseref.startdate2016-10-19
dc.publisher.urlhttp://doi.acm.org/10.1145/2983990.2984008
rioxxterms.typeConference Paper/Proceeding/Abstract
cam.issuedOnline2016-10-19
pubs.conference-nameSPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity
rioxxterms.freetoread.startdate2017-12-25


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record