OCaml étendu avec du filtrage par comotifs

Paul Laforgue; Yann Régis-Gianas

Conference Papers Year :

OCaml étendu avec du filtrage par comotifs

(1) , (2)

1
2

Paul Laforgue

Function : Author

Université Paris Diderot - Paris 7

Yann Régis-Gianas

Function : Author
PersonId : 953101

Design, study and implementation of languages for proofs and programs

Domains

Computer Science [cs] Programming Languages [cs.PL]

Fichier principal

paper.pdf (237.7 Ko)

Origin : Files produced by the author(s)

Yann Regis-Gianas : Connect in order to contact the contributor

https://hal.inria.fr/hal-01897456

Submitted on : Wednesday, October 17, 2018-11:24:45 AM

Last modification on : Tuesday, October 25, 2022-4:22:15 PM

Long-term archiving on: Friday, January 18, 2019-1:48:49 PM

Dates and versions

hal-01897456 , version 1 (17-10-2018)

Identifiers

HAL Id : hal-01897456 , version 1

Cite

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⟩

OCaml étendu avec du filtrage par comotifs

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share