DMCA

Modular and automated type-soundness verification for language extensions (2013)

by Florian Lorenzen
Venue:In ICFP
Citations:8 - 7 self