References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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/.
  10. 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/.
  11. 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/.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org