DMCA

Parametric Higher-Order Abstract Syntax for Mechanized Semantics (2008)

by Adam Chlipala
Citations:42 - 2 self