Index of /~udr/papers

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]BAD-RESOLUTION-PDFS.txt18-Dec-2011 01:29 287  
[   ]Brian-thesis.pdf18-Dec-2011 00:49 2.1M 
[   ]Brian-thesis.ps23-Sep-2002 16:31 1.7M 
[   ]EssenceOfReynolds.pdf10-Nov-2013 16:25 167K 
[   ]Hongseok-thesis.ps24-Feb-2013 18:51 1.6M 
[   ]TypedProlog.pdf18-Dec-2011 01:18 262K 
[   ]absint.pdf18-Dec-2011 00:49 204K 
[   ]absint.ps15-Feb-2003 17:28 180K 
[   ]acceptors.dvi15-Feb-2003 17:28 86K 
[   ]acceptors.pdf18-Dec-2011 01:21 174K 
[   ]acceptors.ps15-Feb-2003 17:28 218K 
[   ]arrays.dvi15-Feb-2003 17:28 39K 
[   ]arrays.pdf18-Dec-2011 00:49 126K 
[   ]assign.dvi15-Feb-2003 17:28 96K 
[   ]assign.pdf18-Dec-2011 01:23 187K 
[   ]assign.ps15-Feb-2003 17:28 225K 
[   ]automata-Algol-abstract.pdf09-May-2012 09:05 184K 
[   ]automata-Algol-full.pdf11-Jul-2012 00:38 392K 
[   ]automata.pdf25-Oct-2011 22:16 218K 
[   ]classes.dvi15-Feb-2003 17:28 113K 
[   ]classes.pdf18-Dec-2011 01:06 236K 
[   ]classes.ps15-Feb-2003 17:28 309K 
[   ]clausal.pdf18-Dec-2011 00:50 244K 
[   ]clausal.ps15-Feb-2003 17:28 199K 
[   ]core.dvi25-Apr-2013 00:49 28K 
[   ]core.pdf25-Apr-2013 00:50 95K 
[   ]counter.pdf18-Dec-2011 00:50 2.0K 
[   ]counter.ps15-Feb-2003 17:28 6.3K 
[   ]directional.dvi15-Feb-2003 17:28 136K 
[   ]directional.pdf18-Dec-2011 01:12 244K 
[   ]directional.ps15-Feb-2003 17:28 281K 
[   ]fine-grained.pdf22-Sep-2011 19:52 711K 
[   ]gc.pdf09-Mar-2010 16:46 268K 
[   ]gc.ps23-Nov-2006 22:48 243K 
[   ]global.dvi15-Feb-2003 17:28 72K 
[   ]global.object.pdf13-Sep-2011 11:29 517K 
[   ]global.object.ps15-Feb-2003 17:28 560K 
[   ]global.pdf18-Dec-2011 00:51 215K 
[   ]global.ps13-Sep-2011 11:26 190K 
[   ]global.ps.gz15-Feb-2003 17:28 59K 
[   ]heap-parametricity.pdf18-Dec-2011 00:51 367K 
[   ]heap-parametricity.ps08-Jan-2004 21:18 375K 
[   ]higher.dvi15-Feb-2003 17:28 76K 
[   ]higher.pdf18-Dec-2011 01:11 164K 
[   ]higher.ps15-Feb-2003 17:28 189K 
[   ]icalp2012.pdf21-Feb-2012 00:03 392K 
[DIR]icalp2012/11-Jul-2012 00:30 -  
[   ]ilcr.dvi15-Feb-2003 17:28 78K 
[   ]ilcr.pdf18-Dec-2011 00:51 239K 
[   ]ilcr.ps15-Feb-2003 17:28 228K 
[   ]imperative-functional.pdf03-Aug-2012 10:23 72K 
[DIR]inaugural-slides/08-May-2003 21:28 -  
[   ]logical-relations-and-parametricity.pdf14-Jan-2014 18:54 426K 
[   ]logical.dvi15-Feb-2003 17:28 74K 
[   ]logical.pdf18-Dec-2011 00:51 158K 
[   ]melville.pdf18-Dec-2011 00:51 1.5K 
[   ]melville.ps21-Aug-2006 18:43 3.8K 
[   ]naturality.dvi15-Feb-2003 17:28 43K 
[   ]naturality.pdf18-Dec-2011 00:51 150K 
[   ]naturality.ps15-Feb-2003 17:28 144K 
[   ]objects-and-classes.pdf08-Dec-2000 19:13 552K 
[   ]objects-and-classes.ps08-Dec-2000 19:09 451K 
[   ]oosem.dvi15-Feb-2003 17:28 126K 
[   ]oosem.pdf18-Dec-2011 01:10 224K 
[   ]oosem.ps15-Feb-2003 17:28 297K 
[   ]paper.pdf26-Jan-2013 11:08 208K 
[   ]parametric.pdf24-Mar-2004 00:41 201K 
[   ]parametric.ps04-May-2004 05:16 223K 
[   ]parametricity.pdf18-Dec-2011 00:52 239K 
[   ]parametricity.ps11-Dec-1998 05:14 343K 
[   ]passivity-2013-LICS.pdf26-Jan-2013 11:09 208K 
[   ]passivity-2013.pdf28-Aug-2013 13:25 415K 
[   ]passivity-and-indep.pdf18-Dec-2011 01:11 178K 
[   ]passivity.dvi15-Feb-2003 17:28 81K 
[   ]passivity.ps15-Feb-2003 17:28 212K 
[   ]polymorphism.pdf12-Oct-2010 23:13 216K 
[   ]progtheory.dvi21-Aug-2006 17:49 122K 
[   ]progtheory.pdf18-Dec-2011 00:52 336K 
[   ]progtheory.ps21-Aug-2006 18:51 309K 
[   ]refinement.dvi15-Feb-2003 17:28 64K 
[   ]refinement.pdf02-Jul-2001 13:38 228K 
[   ]refinement.ps18-Jun-2001 16:25 342K 
[   ]sci-reddy-reynolds.pdf14-Nov-2011 19:00 267K 
[   ]sci-seplogic.pdf12-Apr-2011 14:57 163K 
[   ]sci.inference.dvi15-Feb-2003 17:29 72K 
[   ]sci.inference.pdf18-Dec-2011 00:52 223K 
[   ]sci.inference.ps15-Feb-2003 17:29 189K 
[   ]scirk2.dvi15-Feb-2003 17:29 79K 
[   ]scirk2.pdf18-Dec-2011 00:52 252K 
[   ]scirk2.ps15-Feb-2003 17:29 242K 
[   ]sheaf.pdf02-Jul-2001 13:38 293K 
[   ]sheaf.ps02-Jul-2001 13:15 316K 
[   ]state.abstract.dvi15-Feb-2003 17:29 78K 
[   ]state.abstract.pdf18-Dec-2011 01:13 149K 
[   ]state.abstract.ps15-Feb-2003 17:29 197K 
[   ]state.bibliography.pdf18-Dec-2011 00:53 81K 
[   ]state.bibliography.ps15-Feb-2003 17:29 64K 
[   ]state.dvi15-Feb-2003 17:29 82K 
[   ]state.full.dvi15-Feb-2003 17:29 151K 
[   ]state.full.pdf18-Dec-2011 01:13 240K 
[   ]state.full.ps15-Feb-2003 17:29 327K 
[   ]state.pdf18-Dec-2011 01:13 153K 
[   ]state.ps15-Feb-2003 17:29 200K 
[   ]swarup.dvi15-Feb-2003 17:29 476K 
[   ]swarup.pdf18-Dec-2011 00:53 577K 
[   ]synthesis.pdf18-Dec-2011 00:53 301K 
[   ]synthesis.ps15-Feb-2003 17:29 259K 
[   ]tapos.pdf18-Dec-2011 00:53 464K 
[   ]tapos.ps08-Dec-2000 19:02 466K 
[   ]term.pdf18-Dec-2011 00:53 231K 
[   ]term.ps15-Feb-2003 17:29 192K 
[   ]termination.dvi15-Feb-2003 17:29 118K 
[   ]termination.pdf18-Dec-2011 01:14 220K 
[   ]termination.ps15-Feb-2003 17:29 298K 
[   ]yoneda.dvi15-Feb-2003 17:29 115K 
[   ]yoneda.pdf18-Dec-2011 00:53 351K 
[   ]yoneda.ps15-Feb-2003 17:29 314K 

Apache Server at staffweb-lb-2.cs.bham.ac.uk Port 80