DMCA

A Verified Compiler for an Impure Functional Language (2009)

by Adam Chlipala
Citations:38 - 3 self