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.
I am a Professor of Computer Science at Brown University, Providence, RI, USA. You can learn more about me from my Web site.
Tue 13 Jan
|11:00 - 11:15|
|11:15 - 12:30|
Shriram KrishnamurthiBrown University