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
@Inproceedings{chargueraud-15-ocaml, author = "Chargu\'eraud, Arthur", year = "2015", title = "Improving Type Error Messages in {OC}aml", editor = "Kiselyov, Oleg and Garrigue, Jacques", booktitle = "{\rm Proceedings} ML Family/OCaml Users and Developers workshops, {\rm Gothenburg, Sweden, September 4-5, 2014}", series = "Electronic Proceedings in Theoretical Computer Science", volume = "198", publisher = "Open Publishing Association", pages = "80-97", doi = "10.4204/EPTCS.198.4", }