9 citations · 19 across the 5 of their papers we have counts for
1 paper · 2 filters
Wouter Swierstra
This paper presents the derivation of an executable Krivine abstract machine from a small step interpreter for the simply typed lambda calculus in the dependently typed programming…