Skip to Main content Skip to Navigation
Conference papers

OCaml étendu avec du filtrage par comotifs

Paul Laforgue 1 Yann Régis-Gianas 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, UPD7 - Université Paris Diderot - Paris 7
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/hal-01897456
Contributor : Yann Regis-Gianas <>
Submitted on : Wednesday, October 17, 2018 - 11:24:45 AM
Last modification on : Friday, April 10, 2020 - 5:27:51 PM
Long-term archiving on: : Friday, January 18, 2019 - 1:48:49 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01897456, version 1

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⟩

Share

Metrics

Record views

126

Files downloads

220