ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Aslan Askarov
Aslan Askarov

Registered user since Fri 21 Sep 2018

Name:Aslan Askarov
Country:Denmark
Affiliation:Aarhus University
Personal website:http://askarov.net/

Contributions

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

ETAPS 2019-profile
View general profile