Session 2

DeBruijn indices, strong reduction, abstract machines & scoped LC

• https://en.wikipedia.org/wiki/De_Bruijn_index
• https://en.wikipedia.org/wiki/SECD_machine
• KAM: Krivine, "A call-by-name lambda-calculus machine"
• CEK: Felleisen, Friedman, "Control operators, the SECD-machine, and the lambda-calculus"
• http://matt.might.net/articles/cek-machines/

Homework

• Сравните определения CEK и CEK2 машин в Lambda.Untyped
• Попробуйте портировать KAM и CEK (в любом определении) для нетипизированного ЛИ со скоупом из Lambda.Untyped.Strong.Scoped.