Aslan Askarov - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Fri 21 Sep 2018

Name: Aslan Askarov

Country: Denmark

Affiliation: Aarhus University

Personal website: http://askarov.net/

Contributions

POST 2019	Author of A Dependently Typed Library for Static Information-Flow Control in Idris within the POST 2019-track Committee Member in Program Committee within the POST 2019-track
Show activities from other conferences