Not registered as user yet

Name: Frank Piessens

Affiliation: iMinds, Belgium

ICFP 2016 Activities

• Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track in ICFP 2016
• Show activities from other conferences