@inproceedings{2024-bastion-hope,
  title = {Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads},
  author = {Cyrus Omar and Patrick Ferris and Anil Madhavapeddy},
  booktitle = {Workshop on Higher-Order Programming with Effects (HOPE 2024)},
  year = {2024}
}