Type Inference in Context - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adam Gundry, Conor McBride, James McKinna. Type Inference in Context. In Venanzio Capretta, James Chapman 0001, editors, Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD, USA, September 25, 2010. pages 43-54, ACM, 2010. [doi]

This author has not been identified. Look up 'Adam Gundry' in GoogleThis author has not been identified. It may be one of the following persons:

Conor McBride

Look up 'Conor McBride' in GoogleThis author has not been identified. Look up 'James McKinna' in Google

runs on WebDSL