Static determination of quantitative resource usage for higher-order programs.

Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann

Browse the full POPL paper archive.