Dimitrios Vytiniotis

Registered user since Wed 16 Sep 2015

Name: Dimitrios Vytiniotis

Affiliation: Microsoft Research, Cambridge

Personal website: http://research.microsoft.com/people/dimitris

Contributions

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

PLDI 2018-profile
View general profile