6 citations · 17 across the 9 of their papers we have counts for
1 paper · 1 filter
Mário Pereira
This paper explores the idea of using defunctionalization as a proof technique for higher-order programs. Defunctionalization builds on substituting functional values by a first-or…