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

by Jan Hoffmann , Martin Hofmann
Citations:4 - 3 self