Index of /wadler/papers/linear

      Name                    Last modified      Size  Description
      linear.dvi              2003-10-17 10:44   78K  
      linear.dvi.gz           2003-10-17 10:44   31K  
      linear.ps               2003-10-17 10:44  205K  
      linear.ps.gz            2003-10-17 10:44   62K