IA014 Advanced Functional Programming
Lecture III - Simply Typed Lambda Calculus
Lecture dates
12. 3. 2018
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
Error: The referenced object does not exist or you do not have the right to read.
https://is.muni.cz/el/1433/jaro2018/IA014/um/03-simplylambda.pdf