Index of /wadler/papers/hot

Icon  Name                    Last modified      Size  Description
[   ] hot.dvi                 2003-10-17 10:44  7.6K  
[   ] hot.dvi.gz              2003-10-17 10:44  4.1K  
[   ] hot.ps                  2003-10-17 10:44  118K  
[   ] hot.ps.gz               2003-10-17 10:44   23K
Apache/2.4 Server at homepages.inf.ed.ac.uk Port 443