Simon Oddershede Gregersen - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Tue 29 Jan 2019

Name:Simon Oddershede Gregersen

Country:Denmark

Affiliation:Aarhus University

Personal website: http://cs.au.dk/~gregersen

Contributions

2019

POST

A Dependently Typed Library for Static Information-Flow Control in Idris

Show activities from other conferences

ETAPS 2019-profile
View general profile