Pierre-Yves Strub - POPL 2016

Write a Blog >>

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

Registered user since Thu 17 Dec 2015

Name:Pierre-Yves Strub

Country:Spain

Affiliation:IMDEA Software Institute

Personal website: http://www.strub.nu

Contributions

2016

POPL

Dependent Types and Multi-Monadic Effects in F*

CPP

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials

Show activities from other conferences

POPL 2016-profile
View general profile