Index of /~rwh/papers/datatypes

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 abstract.txt            27-Sep-2002 11:48  916   
 auto/                   25-May-2005 09:30    -   
 citation.bib            27-Sep-2002 11:36  287   
 tldi.pdf                27-Sep-2002 11:54  259K  
 tldi.ps                 27-Sep-2002 11:16  270K  
 tr.pdf                  04-Apr-2002 16:19  210K