PPL 2018
My PPL 2018 paper and technical appendix. The latter has full specification of the languages, complete definition of the CPS translation, and some proofs.
Both will be easier to read if printed/viewed in color.
My PPL 2018 paper and technical appendix. The latter has full specification of the languages, complete definition of the CPS translation, and some proofs.
Both will be easier to read if printed/viewed in color.