Index of /wadler/papers/vanish

 Name                    Last modified      Size  Description
 vanish.dvi              2003-10-17 10:44   24K  
 vanish.dvi.gz           2003-10-17 10:44   11K  
 vanish.pdf              2003-10-17 10:44  101K  
 vanish.ps               2003-10-17 10:44  298K  
 vanish.ps.gz            2003-10-17 10:44   56K

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