Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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 2019Author of Dijkstra Monads for All within the Research Papers-track
Show activities from other conferences

Using general profile