Media type: E-Article Title: Experience in using a typed functional language for the development of a security application Contributor: Doligez, Damien; Faure, Christèle; Hardin, Thérèse; Maarek, Manuel Published: Open Publishing Association, 2014 Published in: Electronic Proceedings in Theoretical Computer Science, 149 (2014), Seite 58-63 Language: English DOI: 10.4204/eptcs.149.6 ISSN: 2075-2180 Keywords: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Origination: Footnote: Access State: Open Access