Index of /wadler/papers/hot

      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