31ème Journées Francophones des Langages Applicatifs

Zaynah Dargaye 1 Yann Regis-Gianas 2, 3
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
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

Citation

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

Share

Metrics

Record views

77

Files downloads

162