Type-based amortized resource analysis with integers and arrays

From MaRDI portal
Publication:5371954