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.