contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 14 Mar 2001 18:17:38 -0500 (EST) 

I'm heading to dinner.  Steve, you can have the token for Section 6.