ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
ICFP 2022 (series) / Danel Ahman
Danel Ahman

Registered user since Wed 1 Jul 2015

Name:Danel Ahman
Country:Slovenia
Affiliation:University of Ljubljana
Personal website:https://danelahman.github.io
Research interests:Category theory, Type theory, Logic, Computational effects, Handlers

Contributions

ICFP 2022 Student Research Competition – Finalist Presentations
Student Research Competition Co-Chair in Program Committee within the Student Research Competition-track
Student Research Competition Co-Chair in Organizing Committee
Show activities from other conferences

ICFP 2022-profile
View general profile