Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. (2010)

by J Hoffmann, M Hofmann
Venue:In Prog. Langs. and Systems - 8th Asian Symposium (APLAS’10),