![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ATS-types03.pdf | 04-Nov-2007 01:28 | 261K | |
| ATS-types03.ps | 04-Nov-2007 01:28 | 472K | |
| ATSLF-PAfestschrift.pdf | 04-Nov-2007 01:29 | 199K | |
| ATSLF-PAfestschrift.ps | 04-Nov-2007 01:29 | 455K | |
| CPwTP-icfp05.pdf | 04-Nov-2007 01:27 | 185K | |
| CPwTP-icfp05.ps | 04-Nov-2007 01:27 | 336K | |
| DML-jfp07.pdf | 22-Sep-2008 16:09 | 491K | |
| DML-jfp07.ps | 22-Sep-2008 16:09 | 1.0M | |
| DML-popl99.pdf | 04-Nov-2007 01:24 | 1.5M | |
| DML-popl99.ps | 04-Nov-2007 01:24 | 436K | |
| DML-thesis.pdf | 20-Sep-2008 18:04 | 2.6M | |
| DML-thesis.ps | 20-Sep-2008 18:04 | 1.4M | |
| DTDS-waaapl99.pdf | 04-Nov-2007 01:33 | 136K | |
| DTDS-waaapl99.ps | 04-Nov-2007 01:33 | 126K | |
| DTPM-jucs03.pdf | 04-Nov-2007 01:29 | 195K | |
| DTPM-jucs03.ps | 04-Nov-2007 01:29 | 442K | |
| DTPTV-hosc.pdf | 04-Nov-2007 01:32 | 289K | |
| DTPTV-hosc.ps | 04-Nov-2007 01:32 | 604K | |
| GRDT-popl03.pdf | 04-Nov-2007 01:27 | 234K | |
| GRDT-popl03.ps | 04-Nov-2007 01:27 | 425K | |
| IPDT-lics00.pdf | 04-Nov-2007 01:31 | 146K | |
| IPDT-lics00.ps | 04-Nov-2007 01:31 | 205K | |
| SPPSV-padl05.pdf | 04-Nov-2007 01:36 | 172K | |
| SPPSV-padl05.ps | 04-Nov-2007 01:36 | 270K | |
| STLC-F-SN-lfmtp06.pdf | 04-Nov-2007 01:30 | 237K | |
| STLC-F-SN-lfmtp06.ps | 04-Nov-2007 01:30 | 968K | |
| paper.html | 29-Sep-2008 10:05 | 4.2K | |