Big types in little runtime: open-world soundness and collaborative blame for gradual type systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael M. Vitousek, Cameron Swords, Jeremy G. Siek. Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 762-774, ACM, 2017. [doi]

This author has not been identified. Look up ' Michael M. Vitousek' in GoogleThis author has not been identified. Look up 'Cameron Swords' in GoogleIdentified as Jeremy G. Siek

runs on WebDSL