Static determination of quantitative resource usage for higher-order programs (2010)

by Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
Venue:In Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL’10