Index of /~udr/papers

 Name                    Last modified       Size  Description

 Parent Directory        16-Mar-2005 13:50      -  
 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     2k  
 directional.dvi         15-Feb-2003 17:28   136k  
 directional.ps.gz       15-Feb-2003 17:28    92k  
 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:36      -  
 logical.dvi             15-Feb-2003 17:28    74k  
 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...> 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  
 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.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.p..> 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