Sign in

A static cost analysis for a higher-order language.

Norman DannerJennifer PaykinJames S. Royer
Published in: PLPV (2013)
Keyphrases
  • higher order
  • statistical analysis
  • language learning
  • data mining
  • information retrieval
  • data structure
  • scheduling problem
  • programming language
  • quantitative analysis
  • lambda calculus