Index of /wadler/papers/gj-tutorial

 Name                      Last modified      Size  Description
 gj-tutorial.dvi.gz        2003-10-17 10:44   21K  
 gj-tutorial.dvi           2003-10-17 10:44   61K  
 gj-tutorial-letter.ps.gz  2003-10-17 10:44   72K  
 gj-tutorial-a4.ps.gz      2003-10-17 10:44   73K  
 gj-tutorial-letter.ps     2003-10-17 10:44  340K  
 gj-tutorial-a4.ps         2003-10-17 10:44  349K  
 gj-tutorial-letter.pdf.gz 2003-10-17 10:44  601K  
 gj-tutorial-a4.pdf.gz     2003-10-17 10:44  631K  
 gj-tutorial-letter.pdf    2003-10-17 10:44  2.8M  
 gj-tutorial-a4.pdf        2003-10-17 10:44  4.5M