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

by Nick Benton , Uri Zarfaty
Citations:12 - 4 self

Document Versions

Formalizing and verifying semantic type soundness for a simple compiler –Nick Benton, Uri Zarfaty — 2007