Session 7

Jump to bottom

Alex Gryzlov edited this page Nov 20, 2019 · 1 revision

Lambda-mu calculus: Parigot, Saurin and Ariola's variations

de Groote, "On the Relation between the λμ-Calculus and the Syntactic Theory of Sequential Control"
de Groote, "An Environment Machine for the lambda-mu-calculus"
Ariola, Herbelin, "Minimal classical logic and control operators"
Herbelin, Saurin, "λμ-calculus and Λμ-calculus: a Capital Difference"
Selinger, "An Implementation of the Call-By-Name Lambda-Mu-Nu Calculus"
- https://www.mathstat.dal.ca/~selinger/lammunu/
Herbelin, Ghilezan, "An approach to call-by-name delimited continuations"

Homework

Попробуйте портировать виртуальную машину (InstructN/InstructV) для MuPCF.Top исчисления.