Formalizing and verifying semantic type soundness of a simple compiler (2007)

by N Benton, U Zarfaty
Venue:In Proc. 9th ACM International Conference on Principles and Practice of Declarative Programming (PPDP ’07