contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 27 Feb 2001 08:14:20 -0500 (EST)


> Thanks to Henry, I can now tex the paper.  I put up a reorganized file structure
> at 
> 	http://www.star-lab.com/sweeks/01-icfp.tgz
> so that we can more easily edit different sections.  

Great.  I've grabbed a copy of it.