Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.

Pedro B. Vasconcelos Kevin Hammond

Published in: IFL (2003)

Keyphrases

higher order
functional programs
term rewriting systems

lazy evaluation
pairwise
logic programs

functional language
stochastic grammar

database
data mining