Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giuseppe Castagna, Kim Nguyen 0001, Zhiwu Xu, Pietro Abate. Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. In Sriram K. Rajamani, David Walker, editors, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. pages 289-302, ACM, 2015. [doi]

This author has not been identified. Look up 'Giuseppe Castagna' in GoogleThis author has not been identified. Look up 'Kim Nguyen 0001' in GoogleThis author has not been identified. Look up 'Zhiwu Xu' in GoogleThis author has not been identified. Look up 'Pietro Abate' in Google

runs on WebDSL