2 citations · 5 across the 7 of their papers we have counts for
1 paper · 1 filter
Ke Sun, Di Wang, Yuyan Bao +2
Intrinsic definitional interpreters, definitional interpreters that operate on typing derivations instead of abstract syntax trees, have recently been studied as a promising method…