W ramach seminarium omawiane będą techniki i rozwiązania stosowane w
kompilatorach języków funkcyjnych takich jak Haskell, Ocaml, Scala, Scheme i
SML. Wśród omawianych tematów będą: algorytmy rekonstrukcji typów,
transformacje programów, języki pośrednie, optymlizacja kodu, maszyny
wirtualne.