Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. - Hugo R. Simões; Kevin Hammond; Mário Florido; Pedro B. Vasconcelos (TYPES, 2006)

Automatic amortised analysis of dynamic memory allocation for lazy functional programs. - Hugo R. Simões; Pedro B. Vasconcelos; Mário Florido; Steffen Jost; Kevin Hammond (ICFP, 2012)