Home
Publications
Teaching
News and Events
2017
8 Dec 2017: I'm giving a talk at
LFCS
seminar at the University of Edinburgh
Handle with Care: Relational Interpretation of Algebraic Effects and Handlers
(with D. Biernacki, P. Polesiuk, and F. Sieczkowski) accepted for
POPL 2018
I joined the Programm Commitee of
ICTAC 2018
in Stellenbosch, South Africa
Logical Relations for Algebraic Effects
(with D. Biernacki, P. Polesiuk, and F. Sieczkowski) to be presented at
HOPE 2017
Backtracking with cut via a distributive law and left-zero monoids
(with S. Staton) to appear in the
Journal of Functional Programming
1-3 Jun 2017: I'm visiting
Marcelo Fiore
,
Computer Laboratory
, University of Cambridge
I joined the Programm Commitee of
IFL 2017
in Bristol
2016
Unifying Guarded and Unguarded Iteration
(with S. Goncharov, L. Schröder, and C. Rauch) accepted for
FoSSaCS 2017
7-11 Dec 2016: I'm visiting
Tarmo Uustalu
,
Institute of Cybernetics
in Tallinn
Video:
String diagrams for free monads
at ICFP 2016 in Nara, Japan
I'm co-organising
IFL 2016
at KU Leuven