IA014 Advanced Functional Programming
Lecture III - Simply Typed Lambda Calculus
Lecture dates
- 24. 3. 2021
Reading
Books
- [Pierce], chapters 9 and 11
Other
- H. Barendregt: Lambda Calculi with Types [PDF]
- M. Sagiv: Typed Lambda Calculus [PDF] (lecture notes)
- M. Sagiv: Extensions to Typed Lambda Calculus [PDF] (lecture notes)
Slides
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/03-simplylambda.pdf
Exercises
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/exercises/ex03.pdf
Tools
Lambda
Lambda calculus term evaluator (by Jakub Kadlecaj)
Lambda-Tree
Type derivation tree builder (by Martin Škrovina)
Lecture recordings
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/vid/2021-03-24_ia014.mp4
Additional videos
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/vid/IA014_Type_Derivation.mp4