3 code implementations • 28 Jan 2021 • Martin Hofmann, Lorenz Leutgeb, Georg Moser, David Obwaller, Florian Zuleger
We introduce a novel amortised resource analysis couched in a type-and-effect system.
Logic in Computer Science Programming Languages F.3.2