I just got back from an enjoyable visit at Penn. I gave a version of my POPL talk for an audience consisting in large part of students taking Benjamin Pierce’s advanced programming class, which is being done in Haskell with a little bit of ML. I also got a chance to chat with some of the PL faculty and grad students and to hear what people are up to on the research front.
It was a fun afternoon. I hope among other things that it stirs up some more interest (and proposals) for this year’s OCaml Summer Project.