IA014 Advanced Functional Programming
Lecture III - Simply Typed Lambda Calculus
Lecture dates
17. 3. 2020 [week 5]
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/jaro2020/IA014/um/03-simplylambda.pdf
Exercises
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IA014/um/exercises/ex03.pdf
Application for constructing type derivation trees
Additional video recordings
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IA014/um/vi/IA014_Type_Derivation.mp4