W ramach seminarium omowione zostaną klasyczne techniki i rozwiązania stosowane w kompilatorach języków funkcyjnych takich jak Ocaml, SML, Scheme i Haskell, jak również nowe osiągnięcia w dziedzinie implementacji języków funkcyjnych. Wśród omawianych tematów znajdą się:
* interpretery
* osadzone języki dziedzinowe (EDSL)
* ewaluacja częściowa i generowanie kompilatorów
* kompilacja przez transformacje programów
* analiza statyczna i optymalizacja programów
* generowanie kodu pośredniego
* maszyny abstrakcyjne
* poprawność kompilatorów
