Efekty algebraiczne: kompozycja i koindukcja
2018/31/D/ST6/03951
Słowa kluczowe
Deskryptory
- ST6_3: Systemy programowania, systemy operacyjne, metody rozwoju oprogramowania, języki programowania
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 1
Konkurs
SONATA 14 – ogłoszony 2018-09-14
- Przyznana kwota
- 458 800 PLN
- Rozpoczęcie projektu
- 2019-07-12
- Zakończenie projektu
- 2021-10-11
- Planowany czas trwania projektu
- 27 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Opis projektu
Pobierz opis projektu w formacie .pdf
Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Zakupiona aparatura
- Laptop. Za kwotę 8 000 PLN
Dane z raportu końcowego/rocznego
Teksty w publikacjach pokonferencyjnych (1)
-
Binders by day, labels by night: Effect instances via lexically scoped handlers
- Autorzy:
- Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
- Konferencja:
- 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020) (rok: 2020, strony: -), Wydawca: Association for Computing Machinery
- Data:
- konferencja 22-24.01
- Status:
- Opublikowana