Leonardo de Moura - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Not registered as user yet

Name:Leonardo de Moura

Affiliation:Microsoft Research, Redmond

Personal website: http://leodemoura.github.io/

Contributions

2016

CPP

Dependent Type Practice

Show activities from other conferences

POPL 2016-profile
View general profile