31ème Journées Francophones des Langages Applicatifs

Zaynah Dargaye 1 Yann Regis-Gianas 2, 3
1 Nomadic Labs
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
3 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
Document type :
Directions of work or proceedings
Complete list of metadatas

Cited literature [243 references]  Display  Hide  Download
https://hal.inria.fr/hal-02427360
Contributor : Yann Regis-Gianas <>
Submitted on : Friday, January 3, 2020 - 3:13:46 PM
Last modification on : Friday, January 10, 2020 - 1:27:49 PM

File

proceedings-jfla-2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02427360, version 1

Collections

INRIA | UNIV-PARIS7 | USPC | CNRS

Citation

Zaynah Dargaye, Yann Regis-Gianas. 31ème Journées Francophones des Langages Applicatifs. IRIF, 2020. ⟨hal-02427360⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

77

Files downloads

162

 

 

Contact

archive-ouverte@inria.fr