Index of /wadler/papers/oncetech

      Name                    Last modified      Size  Description
      oncetech.dvi            2003-10-17 10:44  158K  
      oncetech.dvi.gz         2003-10-17 10:44   58K  
      oncetech.ps             2003-10-17 10:44  1.1M  
      oncetech.ps.gz          2003-10-17 10:44  232K