Michał Szynwelski

A Functional Programming Language for Sets with Atoms (Funkcyjny język programowania dla zbiorów z atomami)

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

Dec. 15, 2022

Supervisor

• prof. dr hab. Bartosz Klin (University of Oxford)

Reviewers

• dr hab. Dariusz Biernacki
• prof. UWr (Uniwersytet Wrocławski)
• prof. dr hab. Paweł Urzyczyn (Uniwersytet Warszawski)

Documents

• Summary in Polish
• Thesis

Reviews

• Review
• Review