contification paper

Stephen Weeks MLton@sourcelight.com
Sun, 11 Mar 2001 17:04:49 -0800 (PST)


Since the writeup of the formal transformation is not done, I propose that we
move the intuitive stuff about the transformation in 4.2 (i.e. the two bullet
points) to the beginning of 4.3, and introduce the remainder of 4.3 as
justifying why the bullet points are sufficient.