Login / Signup

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

Pedro B. VasconcelosKevin 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