Morbig - INRIA - Institut National de Recherche en Informatique et en Automatique

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2018

Morbig

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

1
2
3

Yann Regis-Gianas

Fonction : Développement

Institut de Recherche en Informatique Fondamentale

Design, study and implementation of languages for proofs and programs

Nicolas Jeannerod

Fonction : Développement
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

Fonction : Développement
PersonId : 1006960

Institut de Recherche en Informatique Fondamentale

Domaines

Langage de programmation [cs.PL]

Yann Regis-Gianas : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 17 octobre 2018-12:57:45

Dernière modification le : lundi 11 décembre 2023-11:31:32

Dates et versions

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

Identifiants

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
softwareLicence : GNU General Public License v3.0 only
programmingLanguage : OCaml
codeRepository : https://github.com/colis-anr/morbig
runtimePlatform : Menhir

Citer

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⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

174 Consultations

53 Téléchargements

Partager