Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems
ACM SIGPLAN Notices - United States
doi 10.1145/3093333.3009849
Full Text
Open PDFAbstract
Available in full text
Categories
Date
May 11, 2017
Authors
Publisher
Association for Computing Machinery (ACM)