CPS transformation of flow information. Unpublished manuscript, available at http://www.cs.purdue.edu/~palsberg/ publications.html (2001)

by Jens Palsberg, Mitchell Wand