Index of /wadler/papers/gj-specification

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