Simple unification-based type inference for GADTs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn. Simple unification-based type inference for GADTs. In John H. Reppy, Julia L. Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. pages 50-61, ACM, 2006. [doi]

Identified as Simon L. Peyton Jones Identified as Dimitrios Vytiniotis Identified as Stephanie Weirich (University of Pennsylvania )This author has not been identified. Look up 'Geoffrey Washburn' in Google

runs on WebDSL