most citedA Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2017★ 2 cited

A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs

Yuting Wang

We argue that the implementation and verification of compilers for functional programming languages are greatly simplified by employing a higher-order representation of syntax know…