Desugaring in Practice: Opportunities and Challenges

Shriram Krishnamurthi

ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 2015

(Invited Talk.)


Desugaring, a key form of program manipulation, is a vital tool in the practical study of programming languages. Its use enables pragmatic solutions to the messy problems of dealing with real languages, but it also introduces problems that need addressing. By listing some of these challenges, this paper and talk aim to serve as a call to arms to the community to give the topic more attention.



These papers may differ in formatting from the versions that appear in print. They are made available only to support the rapid dissemination of results; the printed versions, not these, should be considered definitive. The copyrights belong to their respective owners.