Certified Development Tools Implementation in Objective Caml - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bruno Pagano' in GoogleThis author has not been identified. Look up 'Olivier Andrieu' in GoogleThis author has not been identified. Look up 'Benjamin Canou' in GoogleThis author has not been identified. Look up 'Emmanuel Chailloux' in GoogleThis author has not been identified. Look up 'Jean-Louis Colaço' in GoogleThis author has not been identified. Look up 'Thomas Moniot' in GoogleThis author has not been identified. Look up 'Philippe Wang' in Google

runs on WebDSL