5 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Damien Doligez, Christèle Faure, Thérèse Hardin +1
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 ha…