Index of /wadler/papers/linearsub

      Name                    Last modified      Size  Description
      linearsub.dvi           2003-10-17 10:44   47K  
      linearsub.dvi.gz        2003-10-17 10:44   19K  
      linearsub.ps            2003-10-17 10:44  152K  
      linearsub.ps.gz         2003-10-17 10:44   44K