Morbig - Inria - Institut national de recherche en sciences et technologies du numérique

Documentation
French (FR)

English (EN)

Software Year : 2018

Morbig

(1, 2) , (3, 1) , (1)

1
2
3

Yann Regis-Gianas

Function : Coding

Institut de Recherche en Informatique Fondamentale

Design, study and implementation of languages for proofs and programs

Nicolas Jeannerod

Function : Coding
PersonId : 18763
IdHAL : nicolas-jeannerod
ORCID : 0000-0003-1969-1246
IdRef : 253119774

Département d'informatique - ENS Paris

Institut de Recherche en Informatique Fondamentale

Ralf Treinen

Function : Coding
PersonId : 1006960

Institut de Recherche en Informatique Fondamentale

Domains

Programming Languages [cs.PL]

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

https://inria.hal.science/hal-01897572

Submitted on : Wednesday, October 17, 2018-12:57:45 PM

Last modification on : Friday, May 17, 2024-4:10:09 PM

Dates and versions

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

Identifiers

HAL Id : hal-01897572 , version 1
SWHID : swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/

version : 0.9.1
Software License : GNU General Public License v3.0 only
Programming Language : OCaml
Code Repository : https://github.com/colis-anr/morbig
Runtime Platform : Menhir

Cite

Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig. 2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/⟩. ⟨hal-01897572⟩

Export

format_codemeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 ENS-PARIS CNRS INRIA INRIA2 PSL USPC UP-SCIENCES ANR IRIF

175 View

68 Download

Share