Skip to Main content Skip to Navigation
Directions of work or proceedings

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
CNRS - Centre National de la Recherche Scientifique, Inria de Paris, UP - Université de Paris, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
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 : Monday, October 19, 2020 - 11:06:43 AM
Long-term archiving on: : Monday, April 6, 2020 - 5:58:14 PM

File

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

Identifiers

  • HAL Id : hal-02427360, version 1

Collections

INRIA | CNRS | UNIV-PARIS | UP-SCIENCES

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

400

Files downloads

1243

 

Contact                    Legal Notice                    Personal Data