Otwarta lista tematów na seminarium Typy i języki programowania, II UWr, 2009:

1. Semantyka rachunku lambda z typami prostymi w teorii kategorii
   Semantics of Programming Languages: Structures and Techniques, C.Gunter
   
   
2. Silna normalizacja w rachunku lambda z typami prostymi -- metoda Taita
   Lambda calculi with types, H.Barendregt
   
   
3. System F. Silna normalizacja w systemie F -- metoda Girarda
   Proofs and types, J.-Y.Girard, Y.Lafont, P.Taylor
   
   
4. Semantyka polimorfizmu parametrycznego
   Semantics of Programming Languages: Structures and Techniques, C.Gunter
   
   
5. Polimorfizm parametryczny i twierdzenia za darmo
   Theorems for free!, P.Wadler
   
   
6. Typy egzystencjalne i abstrakcja danych
   Abstract types have existential type, J.Mitchell, G.Plotkin
   Types and programming languages, B.Pierce
   
   
7. Typy i systemy modułów
   Design considerations for ML-style module systems, R.Harper, B.Pierce
   
   
8. Subtyping
   Types and programming languages, B.Pierce
   
   
9. Relacje logiczne i operacyjna równoważność programów
   Typed operational reasoning, A.Pitts
   
   
10. Dualność call by value i call by name
    Declarative Continuations and Categorical Duality, A.Filinski
    The duality of computation, P.-L.Curien, H.Herbelin
    Call-by-value is dual to call-by-name, P.Wadler