Zaawansowane systemy typów
| Semestr letni 2012 |
| Dariusz Biernacki |
| Czwartek 10:15-12:00 |
| Sala 140 |
| 3 ECTS |
Seminarium jest kontynuacją
przedmiotu Systemy
typów przeprowadzonego w II UWr w roku akademickim
2010/11 i dotyczy zaawansowanych zagadnień związanych z
systemami typów w językach programowania, obejmujących
m. in.:
- typy uniwersalne i polimorfizm parametryczny
- typy egzystencjalne i abstrakcję danych
- polimorfizm i podtypowanie wyższego rzędu
- typy zależne
- podstrukturalne systemy typów
- systemy typów z efektami
- typowane języki niskiego poziomu
|
Literatura i lista tematów
Lista tematów oraz literatura
|
Terminarz
| Data |
Temat |
Literatura |
Prelegent |
| 09.02.2012 |
Spotkanie organizacyjne |
|
|
| 16.02.2012 |
System F |
[Pie02]:23, [GLT89]:11 |
Piotr Polesiuk |
| 23.02.2012 |
Parametryczność |
[Rey83, Wad89] |
Wojciech Jedynak |
| 01.03.2012 |
Silna normalizacja w Systemie F |
[GLT89]:14 |
Paweł Wieczorek |
| 08.03.2012 |
Typy egzystencjalne i abstrakcja danych |
[Pie02]:24 |
Marcin Januszkiewicz |
| 15.03.2012 |
System F z podtypowaniem |
[Pie02]:26-28 |
Łukasz Kornek |
| 22.03.2012 |
Polimorfizm wyższego rzędu |
[Pie02]:29-30 |
Maciej Kotowicz |
| 29.03.2012 |
Typed Assembly Language |
[Pie05]:4 |
Aleksander Balicki |
| 05.04.2012 |
Typed Assembly Language, c.d.
Polimorfizm wyższego rzędu, c.d. |
[Pie05]:4
[Pie02]:29-30 |
Aleksander Balicki
Paweł Wieczorek |
| 12.04.2012 |
Przerwa świąteczna |
|
|
| 19.04.2012 |
Proof-Carrying Code |
[Pie05]:5 |
Krzysztof Sakwerda |
| 26.04.2012 |
Podstrukturalne systemy typów |
[Pie05]:1, [Wad90] |
Piotr Polesiuk |
10.05.2012
11.05.2012 |
Systemy typów z efektami |
[Pie05]:3 |
Wojciech Jedynak |
| 17.05.2012 |
Proof-carrying code, c.d.
Podtypowanie wyższego rzędu
|
[Pie05]:5
[Pie02]:31
|
Krzysztof Sakwerda
Marcin Januszkiewicz
|
| 24.05.2012 |
|
|
Maciej Kotowicz
|
|