Possibly Related Publications

The following publications are possibly variants of this publication:

• Types with potential: polynomial resource bounds via automatic amortized analysisJan Hoffmann 0002. PhD thesis, Ludwig Maximilians University Munich, 2011. [doi]
• Multivariate amortized resource analysisJan Hoffmann 0002, Klaus Aehlig, Martin Hofmann. POPL 2011: 357-370 [doi]
• Typable Fragments of Polynomial Automatic Amortized Resource AnalysisLong Pham, Jan Hoffmann 0002. csl 2021: [doi]
• Multivariate amortized resource analysisJan Hoffmann 0002, Klaus Aehlig, Martin Hofmann. TOPLAS, 34(3):14, 2012. [doi]
• An Automatic Amortized Analysis of the Resource Consumption of Functional ProgramsJan Hoffmann 0002. Dagstuhl 2010: 151 [doi]
• Exponential Automatic Amortized Resource AnalysisDavid M. Kahn, Jan Hoffmann 0002. fossacs 2020: 359-380 [doi]
• Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational SemanticsJan Hoffmann 0002, Martin Hofmann. aplas 2010: 172-187 [doi]
• Two decades of automatic amortized resource analysisJan Hoffmann 0002, Steffen Jost. mscs, 32(6):729-759, June 2022. [doi]
• Automatic amortized resource analysis with the Quantum physicist's methodDavid M. Kahn, Jan Hoffmann 0002. PACMPL, 5(ICFP):1-29, 2021. [doi]
• Automatic Amortized Resource Analysis with Regular Recursive TypesJessie Grosen, David M. Kahn, Jan Hoffmann 0002. lics 2023: 1-14 [doi]
• Type-based amortized resource analysis with integers and arraysJan Hoffmann 0002, Zhong Shao. JFP, 25, 2015. [doi]
• Type-Based Amortized Resource Analysis with Integers and ArraysJan Hoffmann 0002, Zhong Shao. FLOPS 2014: 152-168 [doi]