Registered user since Thu 17 Dec 2015

Name: Pierre-Yves Strub

Country: France

Affiliation: École Polytechnique, n.n.

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

ICFP 2017 Activities

• Author of A Relational Logic for Higher-Order Programs within the Research Papers-track in ICFP 2017
• Show activities from other conferences