Seminarium: Zaawansowane systemy typów lato 2011/12

Lista

Język wykładowy	Angielski
Opiekun	Dariusz Biernacki
Liczba godzin
Rodzaj	Seminarium
ECTS	3
Polecany dla I roku	Nie
Egzamin	Nie

Opis przedmiotu:

### 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

Seminaria

Lista

Prowadzący	Termin zajęć	Limit	Zapisani	Kolejka
Dariusz Biernacki		15	8	0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Konsultacje prowadzących:

Imię i nazwisko	Pokój	Konsultacje
Dariusz Biernacki	242	wtorek 14-16 (po uzgodnieniu przez e-mail)