Apprendre à programmer avec OCaml

Sylvain Conchon 1, 2 Jean-Christophe Filliâtre 1, 2
1 LRI - Laboratoire de Recherche en Informatique
2 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Mots-clés : OCaml Algorithmes Structures de données
Type de document :
Ouvrage (y compris édition critique et traduction)
Eyrolles, pp.429, 2014, Noire, 9782212136784
Liste complète des métadonnées
https://hal.inria.fr/hal-01063853
Contributeur : Jean-Christophe Filliâtre <>
Soumis le : dimanche 14 septembre 2014 - 14:28:47
Dernière modification le : jeudi 9 février 2017 - 16:01:26

Identifiants

  • HAL Id : hal-01063853, version 1

Collections

INRIA | UMR8623 | LRI-VALS | CENTRALESUPELEC

Citation

Sylvain Conchon, Jean-Christophe Filliâtre. Apprendre à programmer avec OCaml. Eyrolles, pp.429, 2014, Noire, 9782212136784. <hal-01063853>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

258

Contact


archive-ouverte@inria.fr