On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF

James Laird. On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF. Fundamenta Informaticae, 77(4):511-531, 2007. [doi]

Abstract

Abstract is missing.