Index of /wadler/papers/featherweight

 Name                    Last modified      Size  Description
 featherweight.ps        2003-10-17 10:44  384K  
 featherweight.dvi       2003-10-17 10:44  122K  
 featherweight.ps.gz     2003-10-17 10:44   98K  
 featherweight.dvi.gz    2003-10-17 10:44   49K

Apache/2.4 Server at homepages.inf.ed.ac.uk Port 443