OCaml étendu avec du filtrage par comotifs

Paul Laforgue 1 Yann Régis-Gianas 2
1 UPD7 - Université Paris Diderot - Paris 7
2 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
Document type :
Conference papers
Liste complète des métadonnées
https://hal.inria.fr/hal-01897456
Contributor : Yann Regis-Gianas <>
Submitted on : Wednesday, October 17, 2018 - 11:24:45 AM
Last modification on : Thursday, February 7, 2019 - 4:40:42 PM
Document(s) archivé(s) le : Friday, January 18, 2019 - 1:48:49 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01897456, version 1

Collections

UNIV-PARIS7 | INRIA-ROCQ | INRIA | USPC | JFLA2018

Citation

Paul Laforgue, Yann Régis-Gianas. OCaml étendu avec du filtrage par comotifs. JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls sur mer, France. ⟨hal-01897456⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

52

Files downloads

78

Contact


archive-ouverte@inria.fr