@Inproceedings{EPTCS397.7,
  author    = {Dunn, Lawrence and Tannen, Val and Zdancewic, Steve},
  year      = {2023},
  title     = {Syntax Monads for the Working Formal Metatheorist},
  editor    = {Staton, Sam and Vasilakopoulou, Christina},
  booktitle = {{\rm Proceedings of the Sixth International Conference on}
               Applied Category Theory 2023,
               {\rm University of Maryland, 31 July - 4 August 2023}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {397},
  publisher = {Open Publishing Association},
  pages     = {98-117},
  doi       = {10.4204/EPTCS.397.7},
}