Algebraic effects: composition and coinduction
2018/31/D/ST6/03951
Keywords
Descriptors
- 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 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Voivodeship: dolnośląskie
Principal investigator (from the host institution)
Number of co-investigators in the project: 1
Call
SONATA 14 – announced on 2018-09-14
- Amount awarded
- 458 800 PLN
- Project start date
- 2019-07-12
- Project end date
- 2021-10-11
- Project duration
- 27 months (the same as in the proposal)
- Project status
- Project settled
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Equipment purchased [PL]
- Laptop. Cost: 8 000 PLN
Information in the final report
Articles in post-conference publications (1)
-
Binders by day, labels by night: Effect instances via lexically scoped handlers
- Authors:
- Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
- Conference:
- 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020) (year: 2020, pages: -), Publisher: Association for Computing Machinery
- Date:
- conference 22-24.01
- Status:
- Published