ICFP 2021
Sun 22 - Fri 27 August 2021
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

ML 2021 Committee Member in Program Committee within the ML 2021-track
Show activities from other conferences

Using general profile