Projekty finansowane przez NCN
Efekty algebraiczne: kompozycja i koindukcja
2018/31/D/ST6/03951
Słowa kluczowe:
teoria języków programowania programowanie funkcyjne semantyka efekty algebraiczne handler
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
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 handlersAutorzy:Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip SieczkowskiKonferencja:47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020) (rok: 2020, ), Wydawca: Association for Computing MachineryData:konferencja 22-24.01Status:Opublikowana