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

by Steffen Jost , Kevin Hammond , Hans-Wolfgang Loidl , Martin Hofmann
Venue:IN: 37TH ACM SYMP. ON PRINCIPLES OF PROG. LANGS
Citations:10 - 4 self