| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Brian-thesis.ps.gz | 23-Sep-2002 16:31 | 588K | ||
| absint.ps.gz | 15-Feb-2003 17:28 | 56K | ||
| acceptors.dvi | 15-Feb-2003 17:28 | 86K | ||
| acceptors.ps.gz | 15-Feb-2003 17:28 | 66K | ||
| arrays.dvi | 15-Feb-2003 17:28 | 39K | ||
| assign.dvi | 15-Feb-2003 17:28 | 96K | ||
| assign.ps.gz | 15-Feb-2003 17:28 | 70K | ||
| classes.dvi.gz | 15-Feb-2003 17:28 | 50K | ||
| classes.ps.gz | 15-Feb-2003 17:28 | 118K | ||
| clausal.ps.gz | 15-Feb-2003 17:28 | 59K | ||
| counter.ps.gz | 15-Feb-2003 17:28 | 1.8K | ||
| directional.dvi | 15-Feb-2003 17:28 | 136K | ||
| directional.ps.gz | 15-Feb-2003 17:28 | 92K | ||
| gc.pdf | 09-Mar-2010 16:46 | 268K | ||
| gc.ps | 23-Nov-2006 22:48 | 243K | ||
| global.dvi.gz | 15-Feb-2003 17:28 | 32K | ||
| global.object.ps.gz | 15-Feb-2003 17:28 | 179K | ||
| global.ps.gz | 15-Feb-2003 17:28 | 59K | ||
| heap-parametricity.ps | 08-Jan-2004 21:18 | 375K | ||
| higher.dvi | 15-Feb-2003 17:28 | 76K | ||
| higher.ps.gz | 15-Feb-2003 17:28 | 59K | ||
| ilcr.dvi.gz | 15-Feb-2003 17:28 | 30K | ||
| ilcr.ps.gz | 15-Feb-2003 17:28 | 88K | ||
| inaugural-slides/ | 08-May-2003 21:28 | - | ||
| logical.dvi | 15-Feb-2003 17:28 | 74K | ||
| melville.ps | 21-Aug-2006 18:43 | 3.8K | ||
| naturality.dvi.gz | 15-Feb-2003 17:28 | 17K | ||
| naturality.ps.gz | 15-Feb-2003 17:28 | 58K | ||
| objects-and-classes.pdf | 08-Dec-2000 19:13 | 552K | ||
| objects-and-classes.ps.gz | 08-Dec-2000 19:09 | 167K | ||
| oosem.dvi.gz | 15-Feb-2003 17:28 | 46K | ||
| oosem.ps.gz | 15-Feb-2003 17:28 | 90K | ||
| parametric.pdf | 24-Mar-2004 00:41 | 201K | ||
| parametric.ps | 04-May-2004 05:16 | 223K | ||
| passivity.dvi | 15-Feb-2003 17:28 | 81K | ||
| passivity.ps.gz | 15-Feb-2003 17:28 | 66K | ||
| polymorphism.pdf | 12-Oct-2010 23:13 | 216K | ||
| progtheory.dvi | 21-Aug-2006 17:49 | 122K | ||
| progtheory.ps | 21-Aug-2006 18:51 | 309K | ||
| refinement.dvi | 15-Feb-2003 17:28 | 64K | ||
| refinement.pdf | 02-Jul-2001 13:38 | 228K | ||
| refinement.ps.gz | 18-Jun-2001 16:25 | 138K | ||
| sci-seplogic.pdf | 12-Apr-2011 14:57 | 163K | ||
| sci.inference.dvi | 15-Feb-2003 17:29 | 72K | ||
| sci.inference.ps.gz | 15-Feb-2003 17:29 | 58K | ||
| scirk2.dvi | 15-Feb-2003 17:29 | 79K | ||
| scirk2.ps.gz | 15-Feb-2003 17:29 | 93K | ||
| sheaf.pdf | 02-Jul-2001 13:38 | 293K | ||
| sheaf.ps.gz | 02-Jul-2001 13:15 | 121K | ||
| state.abstract.dvi | 15-Feb-2003 17:29 | 78K | ||
| state.abstract.ps.gz | 15-Feb-2003 17:29 | 60K | ||
| state.bibliography.ps.gz | 15-Feb-2003 17:29 | 18K | ||
| state.dvi | 15-Feb-2003 17:29 | 82K | ||
| state.full.dvi | 15-Feb-2003 17:29 | 151K | ||
| state.full.ps.gz | 15-Feb-2003 17:29 | 101K | ||
| state.ps.gz | 15-Feb-2003 17:29 | 61K | ||
| swarup.dvi.gz | 15-Feb-2003 17:29 | 160K | ||
| synthesis.ps.gz | 15-Feb-2003 17:29 | 80K | ||
| tapos.ps.gz | 08-Dec-2000 19:02 | 176K | ||
| term.ps.gz | 15-Feb-2003 17:29 | 58K | ||
| termination.dvi | 15-Feb-2003 17:29 | 118K | ||
| termination.ps.gz | 15-Feb-2003 17:29 | 88K | ||
| yoneda.dvi | 15-Feb-2003 17:29 | 115K | ||
| yoneda.ps.gz | 15-Feb-2003 17:29 | 95K | ||