A dependently typed framework for static analysis of program execution costs (2006)

by E Brady, K Hammond
Venue:In Proc. Implementation of Functional Languages (IFL 2005), volume 4015 of LNCS