I finally got the journal version »Generalizing Parametricity Using Information Flow« out for consideration the week before last. I really should have a copy up on my website, but I figured I would wait until I finish and push out the revised version of my website that I've been working on. So, in the meantime, you can get it from Stephanie's web site.

However, I've mostly put work on my revised website on hold now that I am ramping up production of my ICFP submission based on InforML. Last Sunday I was feeling like I just wasn't going to be able to fit everything I needed to say in twelve pages of SIGPLAN style. However, think I've come up with a new take on presenting the material that should get me close enough to the page limit, that I can probably successively optimize the prose and formatting to get it all in. I'll see.  Regardless I will be glad to get all of this old material out of the way, so I can continue focusing on new and exiciting (at least to a programming languages researcher) ideas.

From the fact that the ICFP website still does not list a contest coordinator, I am tending to believe that there will not be a programming contest this year, which is kind of disappointing.