Login / Signup
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