Catala : formaliser la loi grâce à un langage de programmation dédié

Denis Merigoux; Liane Huttner

doi:10.48556/SIF.1024.20.77

Article Dans Une Revue 1024 : Bulletin de la Société Informatique de France Année : 2022

Catala : formaliser la loi grâce à un langage de programmation dédié

(1) , (2)

1
2

Denis Merigoux

Fonction : Auteur
PersonId : 177481
IdHAL : denis-merigoux
ORCID : 0000-0003-2247-0938
IdRef : 26126706X

Programming securely with cryptography

CV

Liane Huttner

Fonction : Auteur
PersonId : 1077004
IdHAL : liane-huttner
IdRef : 268996377

Université Paris 1 Panthéon-Sorbonne

CV

Domaines

Langage de programmation [cs.PL]

Denis Merigoux : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 6 février 2023-11:27:28

Dernière modification le : mardi 5 novembre 2024-13:14:02

Dates et versions

hal-03974862 , version 1 (06-02-2023)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

HAL Id : hal-03974862 , version 1
DOI : 10.48556/SIF.1024.20.77

Citer

Denis Merigoux, Liane Huttner. Catala : formaliser la loi grâce à un langage de programmation dédié. 1024 : Bulletin de la Société Informatique de France, 2022, 20, pp.77-84. ⟨10.48556/SIF.1024.20.77⟩. ⟨hal-03974862⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 INRIA INRIA2 INRIA-MEDIATION-SCIENTIFIQUE

49 Consultations

0 Téléchargements

Catala : formaliser la loi grâce à un langage de programmation dédié

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Altmetric

Partager