IA014 Advanced Functional Programming
IA014 Advanced Functional Programming
IA014 Advanced Functional Programming
Info
Course
Term
Spring 2021
Zoom meeting - lectures
Meeting ID: 956 7500 1929 Passcode: 459843
Course information
Open
Chapter contains:
1
Study text
Lecture I - (Short) History of Lambda-Calculus (and functional programming)
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Lecture II - Untyped Lambda Calculus
Open
Chapter contains:
3
PDF
2
Video
1
Study text
1
Web
Lecture III - Simply Typed Lambda Calculus
Open
Chapter contains:
2
PDF
2
Video
1
Study text
2
Web
Lecture IV - Polymorphism and Type Inference
Open
Chapter contains:
2
PDF
2
Video
1
Study text
2
Web
Lecture V - Type Classes
Open
Chapter contains:
1
PDF
2
Study Materials
2
Video
1
Study text
Lecture VI - Monads
Open
Chapter contains:
1
PDF
2
Study Materials
2
Video
1
Study text
Lecture VII - Monad Transformers
Open
Chapter contains:
1
PDF
1
Study Materials
1
Video
1
Study text
Lecture VIII - GADTs
Open
Chapter contains:
1
PDF
6
Study Materials
1
Video
1
Study text
Lecture IX - Dependent types
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Lecture X - I/O and Concurrency
Haskell Notes
Open
Chapter contains:
1
Study text
Examination - COVID-19 version
Open
Chapter contains:
1
Study text
Previous
Next