amorim_effcost:
  type: manuscript
  title: 'The Compositional Essence of Effectful Cost Analyses: Categorical Foundations and Fibered Logical Relations'
  author: Amorim, Pedro H. Azevedo de
  url: https://pedrohaa.github.io/papers/effcost.pdf
  note: Preprint