|
Data
|
Temat
|
Prelegent
|
|
04.03.2009
|
Spotkanie organizacyjne
|
|
|
11.03.2009
|
Generalized Algebraic Data Types
|
Łukasz Stafiniak
|
|
18.03.2009
|
Silna normalizacja dla rachunku lambda z typami prostymi
|
Filip Sieczkowski
|
|
25.03.2009
|
System F
|
Jan Czajkowski
|
|
01.04.2009
|
Silna normalizacja w Systemie F
|
Jan Czajkowski
|
|
08.04.2009
|
Semantyka typów prostych w teorii kategorii
|
Maciej Piróg
|
|
15.04.2009
|
Seminarium odwołane
|
|
|
22.04.2009
|
Podtypowanie
|
Jakub Kowalski
|
|
29.04.2009
|
Typy i systemy modułów
|
Piotr Bober
|
|
06.05.2009
|
Theorems for free!
|
Maciej Kotowicz
|
|
13.05.2009
|
ML-polimorfizm i kontynuacje
|
Michał Zieliński
|
|
20.05.2009
|
ML-polimorfizm i kontynuacje, c.d.
|
Michał Zieliński
|
|
27.05.2009
|
Dualność CBV i CBN
|
Marek Materzok
|
|
03.06.2009
|
Wykład na temat systemu Mizar
|
|
|
10.06.2009
|
Relacje logiczne i równoważność programów
|
Filip Sieczkowski
|
|
17.06.2009
|
Typy egzystencjalne i abstrakcja danych
|
Jakub Michaliszyn
|