Index of /~udr/papers

	Name	Last modified	Size	Description
	Parent Directory		-
	BAD-RESOLUTION-PDFS.txt	18-Dec-2011 01:29	287
	Brian-thesis.pdf	18-Dec-2011 00:49	2.1M
	Brian-thesis.ps	23-Sep-2002 16:31	1.7M
	Hongseok-thesis.ps	24-Feb-2013 18:51	1.6M
	TypedProlog.pdf	18-Dec-2011 01:18	262K
	absint.pdf	18-Dec-2011 00:49	204K
	absint.ps	15-Feb-2003 17:28	180K
	acceptors.dvi	15-Feb-2003 17:28	86K
	acceptors.pdf	18-Dec-2011 01:21	174K
	acceptors.ps	15-Feb-2003 17:28	218K
	arrays.dvi	15-Feb-2003 17:28	39K
	arrays.pdf	18-Dec-2011 00:49	126K
	assign.dvi	15-Feb-2003 17:28	96K
	assign.pdf	18-Dec-2011 01:23	187K
	assign.ps	15-Feb-2003 17:28	225K
	automata-Algol-abstract.pdf	09-May-2012 09:05	184K
	automata-Algol-full.pdf	11-Jul-2012 00:38	392K
	automata.pdf	25-Oct-2011 22:16	218K
	classes.dvi	15-Feb-2003 17:28	113K
	classes.pdf	18-Dec-2011 01:06	236K
	classes.ps	15-Feb-2003 17:28	309K
	clausal.pdf	18-Dec-2011 00:50	244K
	clausal.ps	15-Feb-2003 17:28	199K
	core.dvi	25-Apr-2013 00:49	28K
	core.pdf	25-Apr-2013 00:50	95K
	counter.pdf	18-Dec-2011 00:50	2.0K
	counter.ps	15-Feb-2003 17:28	6.3K
	directional.dvi	15-Feb-2003 17:28	136K
	directional.pdf	18-Dec-2011 01:12	244K
	directional.ps	15-Feb-2003 17:28	281K
	fine-grained.pdf	22-Sep-2011 19:52	711K
	gc.pdf	09-Mar-2010 16:46	268K
	gc.ps	23-Nov-2006 22:48	243K
	global.dvi	15-Feb-2003 17:28	72K
	global.object.pdf	13-Sep-2011 11:29	517K
	global.object.ps	15-Feb-2003 17:28	560K
	global.pdf	18-Dec-2011 00:51	215K
	global.ps	13-Sep-2011 11:26	190K
	global.ps.gz	15-Feb-2003 17:28	59K
	heap-parametricity.pdf	18-Dec-2011 00:51	367K
	heap-parametricity.ps	08-Jan-2004 21:18	375K
	higher.dvi	15-Feb-2003 17:28	76K
	higher.pdf	18-Dec-2011 01:11	164K
	higher.ps	15-Feb-2003 17:28	189K
	icalp2012.pdf	21-Feb-2012 00:03	392K
	icalp2012/	11-Jul-2012 00:30	-
	ilcr.dvi	15-Feb-2003 17:28	78K
	ilcr.pdf	18-Dec-2011 00:51	239K
	ilcr.ps	15-Feb-2003 17:28	228K
	imperative-functional.pdf	03-Aug-2012 10:23	72K
	inaugural-slides/	08-May-2003 21:28	-
	logical.dvi	15-Feb-2003 17:28	74K
	logical.pdf	18-Dec-2011 00:51	158K
	melville.pdf	18-Dec-2011 00:51	1.5K
	melville.ps	21-Aug-2006 18:43	3.8K
	naturality.dvi	15-Feb-2003 17:28	43K
	naturality.pdf	18-Dec-2011 00:51	150K
	naturality.ps	15-Feb-2003 17:28	144K
	objects-and-classes.pdf	08-Dec-2000 19:13	552K
	objects-and-classes.ps	08-Dec-2000 19:09	451K
	oosem.dvi	15-Feb-2003 17:28	126K
	oosem.pdf	18-Dec-2011 01:10	224K
	oosem.ps	15-Feb-2003 17:28	297K
	paper.pdf	26-Jan-2013 11:08	208K
	parametric.pdf	24-Mar-2004 00:41	201K
	parametric.ps	04-May-2004 05:16	223K
	parametricity.pdf	18-Dec-2011 00:52	239K
	parametricity.ps	11-Dec-1998 05:14	343K
	passivity-2013-LICS.pdf	26-Jan-2013 11:09	208K
	passivity-2013.pdf	28-Aug-2013 13:25	415K
	passivity-and-indep.pdf	18-Dec-2011 01:11	178K
	passivity.dvi	15-Feb-2003 17:28	81K
	passivity.ps	15-Feb-2003 17:28	212K
	polymorphism.pdf	12-Oct-2010 23:13	216K
	progtheory.dvi	21-Aug-2006 17:49	122K
	progtheory.pdf	18-Dec-2011 00:52	336K
	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	18-Jun-2001 16:25	342K
	sci-reddy-reynolds.pdf	14-Nov-2011 19:00	267K
	sci-seplogic.pdf	12-Apr-2011 14:57	163K
	sci.inference.dvi	15-Feb-2003 17:29	72K
	sci.inference.pdf	18-Dec-2011 00:52	223K
	sci.inference.ps	15-Feb-2003 17:29	189K
	scirk2.dvi	15-Feb-2003 17:29	79K
	scirk2.pdf	18-Dec-2011 00:52	252K
	scirk2.ps	15-Feb-2003 17:29	242K
	sheaf.pdf	02-Jul-2001 13:38	293K
	sheaf.ps	02-Jul-2001 13:15	316K
	state.abstract.dvi	15-Feb-2003 17:29	78K
	state.abstract.pdf	18-Dec-2011 01:13	149K
	state.abstract.ps	15-Feb-2003 17:29	197K
	state.bibliography.pdf	18-Dec-2011 00:53	81K
	state.bibliography.ps	15-Feb-2003 17:29	64K
	state.dvi	15-Feb-2003 17:29	82K
	state.full.dvi	15-Feb-2003 17:29	151K
	state.full.pdf	18-Dec-2011 01:13	240K
	state.full.ps	15-Feb-2003 17:29	327K
	state.pdf	18-Dec-2011 01:13	153K
	state.ps	15-Feb-2003 17:29	200K
	swarup.dvi	15-Feb-2003 17:29	476K
	swarup.pdf	18-Dec-2011 00:53	577K
	synthesis.pdf	18-Dec-2011 00:53	301K
	synthesis.ps	15-Feb-2003 17:29	259K
	tapos.pdf	18-Dec-2011 00:53	464K
	tapos.ps	08-Dec-2000 19:02	466K
	term.pdf	18-Dec-2011 00:53	231K
	term.ps	15-Feb-2003 17:29	192K
	termination.dvi	15-Feb-2003 17:29	118K
	termination.pdf	18-Dec-2011 01:14	220K
	termination.ps	15-Feb-2003 17:29	298K
	yoneda.dvi	15-Feb-2003 17:29	115K
	yoneda.pdf	18-Dec-2011 00:53	351K
	yoneda.ps	15-Feb-2003 17:29	314K