Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cyprien Mangin
conf.researchr.org general profile
ICFP 2019 profile
POPL 2017 profile
POPL 2018 profile
Registered user since Thu 15 Dec 2016
Name:
Cyprien Mangin
Contributions
2019
ICFP
Author of Equations Reloaded: High-Level Dependently-Typed Functional Programming and Proving in Coq within the Research Papers-track
2018
PEPM
Author of Equations: From Clauses to Splittings to Functions (Poster/Demo Talk) within the PEPM 2018-track
2017
TTT
Author of Equations: a tool for dependent pattern-matching within the TTT-track
Share
x
Thu 21 Nov 21:54