33 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Martin Hofmann, Georg Moser
We introduce a novel amortised resource analysis based on a potential-based type system. This type system gives rise to logarithmic and polynomial bounds on the runtime complexity…