Danel Ahman: Shonan Meeting trip report

Datum objave: 8. 4. 2019
Seminar za temelje matematike in teoretično računalništvo
Četrtek, 11. 4. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Abstract: I will give a short report on the the Shonan Meeting on Programming and Reasoning with Algebraic Effects and Effect Handlers that took place in the end of March in Shonan Village Center in Japan.