Formalizing and verifying semantic type soundness of a simple compiler - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nick Benton, Uri Zarfaty. Formalizing and verifying semantic type soundness of a simple compiler. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 1-12, ACM, 2007. [doi]

This author has not been identified. Look up 'Nick Benton' in GoogleThis author has not been identified. Look up 'Uri Zarfaty' in Google

runs on WebDSL