thraxil.org:

oleg's ftp site Type Theory and Functional Programming by anders pearson Mon 07 Jan 2002 by anders pearson Wed 04 Sep 2002 by anders pearson Mon 15 Sep 2008 by anders pearson Tue 30 Oct 2007