Dimitrios Vytiniotis

Registered user since Wed 16 Sep 2015

Name:Dimitrios Vytiniotis
Affiliation:Microsoft Research, Cambridge

Contributions

PLDI 2018 Guarded Impredicative Polymorphism
Committee Member in Program Committee
Show activities from other conferences

PLDI 2018-profile
View general profile