Most of this week has been devoted to getting the getting the journal version of "Boxes Go Bananas" out for final approval. I'm finally happy enough with the latest draft to make it generally available on my research page. I've had these revisions burning a hole in my to do list for far too long now; it has nearly been a year since we received our reviews.

I finally acquired the reviews for our TOPLAS submission, after calling the technical support line for the service TOPLAS uses to manage the review process. Apparently there was some kind of glitch and the reviews didn't wind up attached to the decision letter like they normally would be. On the whole the reviews are positive, and most questions and comments are reasonable. Hopefully the turn-around on this paper won't be nearly as long.

I also spent a bit of time thinking about type inference and implementation issues. After some debating and discussion with Stephanie, I think the current plan is to start implementing impredicative polymorphism via boxy types, and then to start on the module system. I'm hoping I can get that far before I leave for Portland. Especially because I need to begin preparing a revised proposal presentation.