Dynamically diagnosing type errors in unsafe code
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Kell, Stephen https://orcid.org/0000-0002-2702-5983
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)