48 citations · 48 across the 1 of their papers we have counts for
1 paper
David Darais, Nicholas Labich, Phuc C. Nguyen +1
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitiona…