IA014 Advanced Functional Programming
Lecture IX - Dependent types
Lecture dates
22. 5. 2017
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/jaro2017/IA014/um/09-dependent.pdf
Následující