Type-Based Amortised Heap-Space Analysis. (2006)

by M Hofmann, S Jost
Venue:In 15th Euro. Symp. on Prog. (ESOP’06),