![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ICCI92b.ps.gz | 2000-04-13 16:11 | 36K | |
| ICCI92.ps.gz | 2000-04-13 16:11 | 41K | |
| IPPS94b.ps.gz | 2000-04-14 13:26 | 55K | |
| cc96.ps.gz | 2000-04-14 13:16 | 60K | |
| ICCL92.ps.gz | 2000-04-13 16:11 | 61K | |
| PLDI96.ps.gz | 2000-04-13 16:12 | 66K | |
| PACT97c.ps.gz | 2000-04-13 16:11 | 73K | |
| PLDI94b.ps.gz | 2000-04-13 16:12 | 75K | |
| PACT95.ps.gz | 2000-04-13 16:11 | 76K | |
| PLDI92.ps.gz | 2000-04-13 16:12 | 77K | |
| PLDI95.ps.gz | 2000-04-13 16:12 | 78K | |
| lcpc95.ps.gz | 2000-04-13 16:12 | 78K | |
| ICCL94.ps.gz | 2000-04-13 16:11 | 78K | |
| lcpc92.ps.gz | 2000-04-14 13:37 | 80K | |
| POPL95.ps.gz | 2000-04-13 16:12 | 87K | |
| CC94.ps.gz | 2000-04-14 13:45 | 87K | |
| POPL93.ps.gz | 2000-04-13 16:12 | 93K | |
| POPL96.ps.gz | 2000-04-13 16:12 | 96K | |
| PLDI94.ps.gz | 2000-04-13 16:12 | 121K | |
| PACT97.ps.gz | 2000-04-13 16:11 | 147K | |
| JPL93.ps.gz | 2000-04-14 13:40 | 152K | |
| ALPHA.ps.gz | 2000-04-13 16:10 | 172K | |
| PACTtalk.ps.gz | 1998-07-17 15:49 | 193K | |
| LCPC92.ps | 2000-04-14 13:36 | 314K | |
| ijpp.ps.gz | 1998-07-17 15:50 | 782K | |