Analysing the complexity of functional programs: higher-order meets first-order.

Martin Avanzini, Ugo Dal Lago, Georg Moser

Browse the full ICFP paper archive.