A static cost analysis for a higher-order language.

Norman Danner Jennifer Paykin James 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