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

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