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
CE&SAR
Rennes, France
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/