contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 27 Feb 2001 10:13:41 -0500 (EST)


> When is the paper due?  I can try to have comments to you
> next week if that's not too late.
> 
> -- Suresh

The ICFP deadline is March 15.  What's on Steve's site is still very
incomplete, but the framework (i.e., definitions, etc.) are all there as
are the descriptions of each analysis and proofs of safety and minimality.