IA014 Advanced Functional Programming
Lecture IX - Dependent types
Lecture dates
17.12.2015
Reading
Programming in IDRIS: A Tutorial [PDF]
Read Section 3. Types and Functions
A. Bove, P. Dybjer: Dependent Types at work. [PDF]
Additional material
Read the materials explaining how to simulate dependent types in Haskell using GADTs, type families etc. in Lecture VIII.
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2015/IA014/um/09-dependent.pdf