Skip to Main content Skip to Navigation
Books

Apprendre à programmer avec OCaml

Sylvain Conchon 1, 2 Jean-Christophe Filliâtre 1, 2
1 LRI - Laboratoire de Recherche en Informatique
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Mots-clés : OCaml Algorithmes Structures de données
Document type :
Books
Complete list of metadata
https://hal.inria.fr/hal-01063853
Contributor : Jean-Christophe Filliâtre Connect in order to contact the contributor
Submitted on : Sunday, September 14, 2014 - 2:28:47 PM
Last modification on : Thursday, July 8, 2021 - 3:47:46 AM

Identifiers

  • HAL Id : hal-01063853, version 1

Collections

CNRS | INRIA | UMR8623 | INRIA2 | LRI-VALS | EC-PARIS | UNIV-PARIS-SACLAY

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

349

 

Contact                    Legal Notice                    Personal Data