Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Maciej Piróg 

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: 24 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.

Dane z raportu końcowego

  • Teksty w publikacjach pokonferencyjnych (1)
  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, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 22-24.01
    Status:
    Opublikowana