Login / Signup
Certified Development Tools Implementation in Objective Caml.
Bruno Pagano
Olivier Andrieu
Benjamin Canou
Emmanuel Chailloux
Jean-Louis Colaço
Thomas Moniot
Philippe Wang
Published in:
PADL (2008)
Keyphrases
</>
development tools
programming tool
application development
development environment
software developers
exception handling
database management
object oriented programming
application developers
expert systems
domain specific
database server