33 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Martin Avanzini, Ugo Dal Lago, Georg Moser
We show how the complexity of higher-order functional programs can be analysed automatically by applying program transformations to a defunctionalized versions of them, and feeding…