Recherche - Archive ouverte HAL

3 résultats

	Pour les 3 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification Léo Andrès [Rapport de recherche] Université Paris Sud (Paris 11) - Université Paris Saclay. 2019 Rapport hal-02421484v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Connecter l'écosystème OCaml à Software Heritage via opam Léo Andrès , Raja Boujbel , Louis Gesbert , Dario Pinto 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.227-234 Communication dans un congrès hal-03626845v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Wasocaml: compiling OCaml to WebAssembly Léo Andrès , Pierre Chambart , Jean-Christophe Filliâtre IFL 2023 - The 35th Symposium on Implementation and Application of Functional Languages, João Saraiva; João Fernandes, Aug 2023, Braga, Portugal Communication dans un congrès hal-04311345v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats