-
Notifications
You must be signed in to change notification settings - Fork 2
Session 4
Alex Gryzlov edited this page Feb 7, 2019
·
1 revision
- STLC parser example with comments
- Inference chapter of PLFA
- https://en.wikipedia.org/wiki/Programming_Computable_Functions
- Dowek, Levy, "Introduction to the Theory of Programming Languages"
- Напишите вариант PCF (термы и smallstep-редукцию), где вместо Zero/Succ - Lit и Add, т.е. идрисовские Nat-ы в качестве литералов и бинарное сложение.
- Напишите абстрактные машины для этого варианта PCF