Generating Software for Well-Understood Domains. - Jacques Carette; W. Spencer Smith; Jason Balaci (Eelco Visser Commemorative Symposium, 2023)