Session 1

Jump to bottom

Alex Gryzlov edited this page Jan 5, 2019 · 6 revisions

Untyped named lambda calculus

https://github.com/mietek/cook
Benjamin C. Pierce, "Types and Programming Languages"
W. Kluge, "Abstract Computing Machines"
J.R. Hindley, J.P. Seldin, "Lambda Calculus and Combinators" (2008)

Homework

Попробуйте спортировать определения термов (Lambda.Untyped.TermNam) и пошагового интерпретатора (Lambda.Untyped.SmallstepNam) на ваш любимый язык.
В качестве спойлера посмотрите самостоятельно остальные файлы в Lambda.Untyped: ** Lambda.Untyped.{TermDB, SmallstepDB} - безымянное представление ДеБрёйна ** Lambda.Untyped.{KAM, CEK} - абстрактные машины