@InProceedings{KoikaDSL+CoqPL2021,
  author       = {Pit-Claudel, Clément and Bourgeat, Thomas},
  title        = {An experience report on writing usable {DSL}s in Coq},
  booktitle    = {CoqPL'21: The Seventh International Workshop on Coq for PL},
  year         = 2021,
  month        = apr,
  editors      = {Assia Mahboubi and Amin Timany},
  url          = {https://pit-claudel.fr/clement/papers/koika-dsl-CoqPL21.pdf}
}