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

Martin Avanzini Ugo Dal Lago Georg Moser

Published in: ICFP (2015)

Keyphrases

higher order
functional programs
pairwise
term rewriting systems
logic programs
database
object oriented
functional language
lazy evaluation