Static Determination of Quantitative Resource Usage for Higher-Order Programs (2010)

by Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
Venue:In 37th Symp. on Principles of Programming Languages (POPL’10