Index of /~antoy/homepage/publications/popl94

	Name	Last modified	Size	Description
	Parent Directory		-
	abstract.txt	2002-03-22 21:16	601
	bibtex.txt	2002-03-22 21:16	899
	paper.dvi	2002-03-22 21:16	86K
	paper.pdf	2001-12-24 17:20	182K
	paper.ps.gz	2002-03-22 21:16	90K