Index of /wadler/papers/pizza

      Name                    Last modified      Size  Description
      pizza.dvi               2003-10-17 10:44  105K  
      pizza.dvi.gz            2003-10-17 10:44   41K  
      pizza.ps                2003-10-17 10:44  207K  
      pizza.ps.gz             2003-10-17 10:44   67K  
      pizza11.dvi             2003-10-17 10:44  105K  
      pizza11.dvi.gz          2003-10-17 10:44   41K  
      pizza11.ps              2003-10-17 10:44  207K  
      pizza11.ps.gz           2003-10-17 10:44   67K