1 paper
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…