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 2020Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences

Using general profile