A theory of typed coercions and its applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman. A theory of typed coercions and its applications. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 329-340, ACM, 2009. [doi]

This author has not been identified. Look up 'Nikhil Swamy' in GoogleThis author has not been identified. Look up 'Michael W. Hicks' in GoogleThis author has not been identified. Look up 'Gavin M. Bierman' in Google

runs on WebDSL