Elaborating intersection and union types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joshua Dunfield. Elaborating intersection and union types. In Peter Thiemann, Robby Bruce Findler, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. pages 17-28, ACM, 2012. [doi]

This author has not been identified. Look up 'Joshua Dunfield' in Google

runs on WebDSL