IA014 Advanced Functional Programming
Lecture III - Simply Typed Lambda Calculus
Lecture dates
13. 3. 2017
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/1433/jaro2017/IA014/um/03-simplylambda.pdf