Parametric Higher-Order Abstract Syntax for Mechanized Semantics

by Adam Chlipala
Citations:20 - 2 self