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

Jan Hoffmann, Martin Hofmann

Browse the full APLAS paper archive.