ICFP 2020
Sun 23 - Fri 28 August 2020
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 2020Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences

Using general profile