@inproceedings{carette-2023-generating,
  author = {Jacques Carette and Spencer Smith and Jason Balaci},
  title = {Generating Software for Well-Understood Domains},
  booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2023},
  volume = {109},
  pages = {7:1--7:12},
  doi = {10.4230/OASIcs.EVCS.2023.7}
}