Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl).

Jan van Brügge

Published in: CoRR (2024)

Keyphrases

worst case
computational complexity
information systems
decision problems
decision trees
database systems
multiscale
special case
computational cost
search tree