Pierre-Yves Strub - PADL

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

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