Języki Programowania - seminarium magisterskie 2024/25
Plan referatów
Semestr zimowy 2024/25
| Data | Prelegent | Temat |
|---|
| 07.10 | | |
| 14.10 | | |
| 21.10 | | |
| 28.10 | | |
| 04.11 | | |
| 18.11 | | |
| 25.11 | | |
| 02.12 | | |
| 09.12 | | |
| 16.12 | | |
|
09.01 | | |
|
5050 | | |
| 13.01 | | |
| 20.01 | | |
| | | |
Proponowane tematy prac magisterskich
Marcin Benke
- Implementacja języków/konstrukcji funkcyjnych
- Na architekturę EVM (Ethereum VM) i podobne
- Monomorfizacja (eliminacja funkcji polimorficznych)
- Defunkcjonalizacja (eliminacja funkcji wyższego rzedu)
- Klasy wieloparametrowe (MPTC) i zależności funkcyjne; modelowanie referencji
- Narzędzia wspomagające nauczanie Haskella
- Zastosowanie rozszerzenia Liquid Haskell
- Wnioskowanie o programach w Haskellu -
patrz np. prace
Baranowski 2013,
Rosen 2012,
Benke 2015
- Synteza programów na podstawie specyfikacji
- Dotychczasowe tematy
Aleksy Schubert
Jacek Chrząszcz