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

Jan van Brügge

Published in: Haskell (2024)

Keyphrases

worst case
neural network
similarity measure
space complexity
running times
lower complexity
data mining
computational complexity
lower bound
artificial neural networks
query processing
special case
boundary conditions
complexity analysis