Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@phdthesis{yakobowski-08, author = "Yakobowski, B.", title = "Graphical types and constraints: second-order polymorphism and inference", year = 2008, school = "Universit{\'e} Paris-Diderot", }