Login / Signup
Cyprien Mangin
Publication Activity (10 Years)
Years Active: 2015-2019
Publications (10 Years): 2
Top Topics
Functional Programming
Functional Language
Linear Equations
Relational Databases
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Matthieu Sozeau
,
Cyprien Mangin
Equations reloaded: high-level dependently-typed functional programming and proving in Coq.
Proc. ACM Program. Lang.
3 (ICFP) (2019)
Cyprien Mangin
,
Matthieu Sozeau
Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study.
CoRR
(2015)