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

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