Please see the [[http://www.cs.ucsd.edu/popl/08/][POPL 2008]] web pages.