Dynamically diagnosing type errors in unsafe code
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Description
Keywords
4613 Theory Of Computation, 46 Information and Computing Sciences, 33 Built Environment and Design
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
Publisher DOI
Rights
All rights reserved
Sponsorship
Engineering and Physical Sciences Research Council (EP/K008528/1)