Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang. Certified Development Tools Implementation in Objective Caml. In Paul Hudak, David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Volume 4902 of Lecture Notes in Computer Science, pages 2-17, Springer, 2008. [doi]
@inproceedings{PaganoACCCMW08,
title = {Certified Development Tools Implementation in Objective Caml},
author = {Bruno Pagano and Olivier Andrieu and Benjamin Canou and Emmanuel Chailloux and Jean-Louis Colaço and Thomas Moniot and Philippe Wang},
year = {2008},
doi = {10.1007/978-3-540-77442-6_2},
url = {http://dx.doi.org/10.1007/978-3-540-77442-6_2},
researchr = {https://researchr.org/publication/PaganoACCCMW08},
cites = {0},
citedby = {0},
pages = {2-17},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008},
editor = {Paul Hudak and David Scott Warren},
volume = {4902},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-77441-9},
}