Index of /~rwh/papers/datatypes

 Name                    Last modified       Size  Description

 Parent Directory        06-Oct-2009 19:47      -  
 auto/                   25-May-2005 09:30      -  
 citation.bib            27-Sep-2002 11:36     1k  
 abstract.txt            27-Sep-2002 11:48     1k  
 tr.pdf                  04-Apr-2002 16:19   210k  
 tldi.pdf                27-Sep-2002 11:54   259k  
 tldi.ps                 27-Sep-2002 11:16   270k