An Implementation of A Hygienic Syntactic Macro System for JavaScript: A Preliminary Report (2010)

CertSkel - Verified Compiler for a Coq-Embedded, GPGPU DSL (2017)