Invited Talks

ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation

We are proud to present the following two invited talks:

Lennart Augustsson (Standard Chartered Bank, UK): O, Partial Evaluator, Where Art Thou?



Abstract: Partial evaluation is now a quite old idea, and it has been implemented many times. Partial evaluation is also very widely applicable; almost every problem in computing could use it. But widely used partial evaluators are nowhere to be seen. Why is that? In this talk I will give some examples of where I have used partial evaluation during 15 years of using Haskell commercially. I will give my wish list for a partial evaluator I could actually use (instead of rewriting it over and over), and also contrast this with what is done in the research community.