contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 15 Mar 2001 08:23:35 -0500 (EST) 

I also got Table 4 to move to the previous page, so it's not quite so far
from the reference.