Login / Signup
Experience in using a typed functional language for the development of a security application.
Damien Doligez
Christèle Faure
Thérèse Hardin
Manuel Maarek
Published in:
F-IDE (2014)
Keyphrases
</>
programming language
decision support
functional language
software engineering