A little after noon today I believe I finally submitted the final version of my WGP paper, "Good Advice for Type-directed Programming". The original camera ready date was July 8th, but there was some kind of miscommunication with Sheridan Printing, the company that seems to handle most ACM SIGPLAN printing. So the new deadline became July 30th, but then I needed to consult with Stephanie on a point and she didn't get back into the office until today.

Anyway, back to "vacationing".