[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi, I am looking for a copy of the accompanying source code for the BOPL Workbench to the book "Object-Oriented Type Systems" by Jans Palsberg and Michael I. Schwartzbach. I have managed to obtain an ex university copy of the book, but unable to find the accompanying source code. Unfortunately this is the case with a lot of the older paper source code assets where the University CS FTP site has been taken down, and the author(s) no longer has a copy or access. Regards, Aaron Gray
