@inproceedings{2024_hope_bastion,
  author = {Cyrus Omar and Patrick Ferris and Anil Madhavapeddy},
  booktitle = {the 12th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE)},
  month = {sep},
  title = {Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads},
  url = {https://icfp24.sigplan.org/home/hope-2024},
  year = {2024}}