Index of /wadler/papers/gj-specification

      Name                    Last modified      Size  Description
      gj-specification-a4.pdf 2003-10-17 10:44  3.5M  
      gj-specification-a4...> 2003-10-17 10:44  524K  
      gj-specification-a4.ps  2003-10-17 10:44  368K  
      gj-specification-a4...> 2003-10-17 10:44   74K  
      gj-specification-let..> 2003-10-17 10:44  2.3M  
      gj-specification-let..> 2003-10-17 10:44  503K  
      gj-specification-let..> 2003-10-17 10:44  359K  
      gj-specification-let..> 2003-10-17 10:44   73K  
      gj-specification.dvi    2003-10-17 10:44   46K  
      gj-specification.dvi.gz 2003-10-17 10:44   17K