학술논문
Experience in using a typed functional language for the development of a security application
Document Type
Working Paper
Source
EPTCS 149, 2014, pp. 58-63
Subject
Language
Abstract
In this paper we present our experience in developing a security application using a typed functional language. We describe how the formal grounding of its semantic and compiler have allowed for a trustworthy development and have facilitated the fulfillment of the security specification.
Comment: In Proceedings F-IDE 2014, arXiv:1404.5785
Comment: In Proceedings F-IDE 2014, arXiv:1404.5785