2 citations · 6 across the 13 of their papers we have counts for
1 paper · 1 filter
Cynthia Kop, Kristoffer Rose
We present and formalize h, a core (or "plank") calculus that can serve as the foundation for several compiler specification languages, notably CRSX (Combinatory Reductions Systems…