13 citations · 18 across the 6 of their papers we have counts for
1 paper · 2 filters
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…