Index of /wadler/papers/stricttime

      Name                    Last modified      Size  Description
      stricttime.dvi          2003-10-17 10:44   49K  
      stricttime.dvi.gz       2003-10-17 10:44   20K  
      stricttime.ps           2003-10-17 10:44  154K  
      stricttime.ps.gz        2003-10-17 10:44   45K