TY  - RPRT
TI  - Experience in using a typed functional language for the development of a security application
AU  - Damien Doligez
AU  - Christèle Faure
AU  - Thérèse Hardin
AU  - Manuel Maarek
PY  - 2014
DO  - 10.4204/eptcs.149.6
UR  - https://arxiv.org/abs/1404.6606
ID  - 1404.6606
ER  -