ANSSI (2011):
Analyse des langages OCaml, Scala et F#.
Étude de la sécurité intrinsèque des langages fonctionnels (LaFoSec).
ANSSI.
SafeRiver, CEDRIC and Normation. In French. Available at http://www.ssi.gouv.fr/fr/anssi/publications/publications-scientifiques/autres-publications/lafosec-securite-et-langages-fonctionnels.html.
ANSSI (2011):
Modèles dexécution du langage OCaml.
Étude de la sécurité intrinsèque des langages fonctionnels (LaFoSec).
ANSSI.
SafeRiver, CEDRIC and Normation. In French. Available at http://www.ssi.gouv.fr/fr/anssi/publications/publications-scientifiques/autres-publications/lafosec-securite-et-langages-fonctionnels.html.
ANSSI (2011):
Outils associés au langage OCaml.
Étude de la sécurité intrinsèque des langages fonctionnels (LaFoSec).
ANSSI.
SafeRiver, CEDRIC and Normation. In French. Available at http://www.ssi.gouv.fr/fr/anssi/publications/publications-scientifiques/autres-publications/lafosec-securite-et-langages-fonctionnels.html.
ANSSI (2011):
Recommandations relatives à l'utilisation du langage OCaml et à l'installation et la configuration des outils associés.
Étude de la sécurité intrinsèque des langages fonctionnels (LaFoSec).
ANSSI.
SafeRiver, CEDRIC and Normation. In French. Available at http://www.ssi.gouv.fr/fr/anssi/publications/publications-scientifiques/autres-publications/lafosec-securite-et-langages-fonctionnels.html.
ANSSI (2011):
État des lieux des langages fonctionnels.
Étude de la sécurité intrinsèque des langages fonctionnels (LaFoSec).
ANSSI.
SafeRiver, CEDRIC and Normation. In French. Available at http://www.ssi.gouv.fr/fr/anssi/publications/publications-scientifiques/autres-publications/lafosec-securite-et-langages-fonctionnels.html.
ANSSI (2012):
XML Validator Generator XSVGen.
Étude de la sécurité intrinsèque des langages fonctionnels (LaFoSec), première tranche conditionnelle (TC1).
ANSSI.
SafeRiver, CEDRIC and Oppida. Available at https://github.com/ANSSI-FR/xsvgen.
Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, Lionel Habib, Thérèse Hardin, Mathieu Jaume, Charles Morisset, François Pessaux & Pierre Weis (2008):
Trusted Software within FoCaL.
In: CE&SAR,
Rennes, France,
pp. 142–157.
Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Eve Maler, François Yergeau & John Cowan (2006):
Extensible Markup Language (XML) 1.1 (Second Edition).
W3C Recommendation.
Shudi Gao, C. M. Sperberg-McQueen & Henry S. Thompson (2011):
W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures.
W3C Candidate Recommendation.
Available at http://www.w3.org/TR/2011/CR-xmlschema11-1-20110721/.
Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy & Jérôme Vouillon (2010):
The Objective Caml system release 3.12 – Documentation and users manual.
INRIA.
Available at http://caml.inria.fr/pub/docs/manual-ocaml/.
David Peterson, Shudi Gao, Ashok Malhotra, C. M. Sperberg-McQueen & Henry S. Thompson (2011):
W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes.
W3C Candidate Recommendation.
Available at http://www.w3.org/TR/2011/CR-xmlschema11-2-20110721/.