[TYPES] Looking for the Source Code for the Book Object-Oriented Type Systems.

[ 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