Formal explanation of rewriting via CPS sketch (typechecks)
authorNorman Ramsey <nr@cs.tufts.edu>
Mon, 26 Jul 2010 18:24:25 +0000 (14:24 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Mon, 26 Jul 2010 18:24:25 +0000 (14:24 -0400)
commit466f1481ff7d2afb245f5cf1f927aec301144966
tree06230980c47688788cfef605505e216333b6c7c4
parent3a8bcb2543127ff7f595bf9dd086021712246670
Formal explanation of rewriting via CPS sketch (typechecks)
paper/dfopt.tex