A Look at my Crystal Ball

Let me make an attempt at predicting the winner(s) of the LICS Test-of-Time Award for 2009.

According to the rules of the award, the prize will go to a paper that was presented at LICS 1989 in lovely Asilomar. I was there as a second-year Ph.D. student and I presented a paper myself, but it was not award material.

The conference programme was really good and the award committee must have had a difficult choice. I do not know who will receive the award in mid-August, but let make a personal prediction: the award will be shared by the following two papers:

• Douglas J. Howe, Equality in lazy computation systems and
• Eugenio Moggi, Computational lambda-calculus and monads.

What papers do you think will receive the award? It will be interesting to look back at the predictions and see who was right.