### Wymagania (prerequisites)
* Logika dla informatyków
* Programowanie
* Systemy typów (zalecane)
### Opis (description)
Seminarium jest zaplanowane jako kontynuacja wykładu Systemy typów i dotyczyć
będzie zaawansowanych tematów związanych z systemami typów w językach
programowania.
### Program (program)
1. Typy uniwersalne i egzystencjalne
2. Polimorfizm i podtypowanie wyższego rzędu
3. Typy zależne
4. Generalized Abstract Data Types
5. Typed Assembly Language
6. Proof-Carrying Code
### Literatura (references)
* Types and Programming Languages, Benjamin C. Pierce, 2002, The MIT Press, ISBN 0-262-16209-1
* Advanced Topics in Type Systems and Programming Languages, Benjamin C. Pierce, 2005, MIT Press, ISBN 0-262-16228-8
