Języki Programowania - seminarium magisterskie

Proponowane tematy prac magisterskich

Marcin Benke

Aleksy Schubert

Plan referatów

Semestr letni 2019/2020

02.03.20Bodnar
09.03.20
16.03.20PuzynaHigher-Order Matching
23.03.20SwatowskiYpnos
30.03.20Paweł Brzeziński Haskell
06.04.20DziubiakGHC, STG, lazy .NET
20.04.20OlczykFacebook Sigma
27.04.20Dudkiewiczmalloc
11.05.20
18.05.20
25.05.20
01.06.20
08.06.20

Semestr zimowy 2019/20

7.10Planowanie referatów
14.10O pracach magisterskich
21.10M. DziubiakLeniwe środowisko uruchomieniowe
28.10M. Puzyna Dopasowanie wyzszego rzędu
04.11DudkiewiczMalloc
18.11RowickiWeryfikacja dla blockchain
25.11J. OlczykJędyki do muzyki
02.12SwatowskiKompilacja programów na GPU
09.12P. BrzezińskiPrzegląd Ocamla
16.12B. WojnoHaskell z typami zależnymi
13.01M. BrzezińskiHHVM JIT
20.01A. Boniecki
27.01OklesińskiOcaml i platforma do jego nauczania