About
Interesting shortcuts
Programmes and Partnerships
Search
European Partnerships
EU-Programme-Call
Projects
Projects
Resources
Resources
www.decubber.com
Login
Project
Coqaml
Organisations
Verified Extraction from Coq to OCaml with GADTs
Full project page
Organisations map overview
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
- (Coördinator)
Country: