@misc{indiciae1dd1f530f39e,
  title = {Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)},
  author = {Jan van Brügge},
  year = {2024},
  doi = {10.1145/3677999.3678282},
  url = {https://arxiv.org/abs/2407.13671},
  note = {Source identifier: 2407.13671}
}