Turning Catala into a Proof Platform for the Law - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Turning Catala into a Proof Platform for the Law

Alain Delaët
  • Fonction : Auteur
  • PersonId : 1372559
  • IdHAL : adelaett
Programming securely with cryptography
École normale supérieure de Lyon
Denis Merigoux
Programming securely with cryptography
CV
Aymeric Fromherz
Programming securely with cryptography

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
paper.pdf (402.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Denis Merigoux  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 24 novembre 2021-16:14:56

Dernière modification le : lundi 8 avril 2024-14:08:55

Archivage à long terme le : vendredi 25 février 2022-19:35:00

Télécharger pour visualiser

Dates et versions

hal-03447072 , version 1 (24-11-2021)

Identifiants

  • HAL Id : hal-03447072 , version 1

Citer

Alain Delaët, Denis Merigoux, Aymeric Fromherz. Turning Catala into a Proof Platform for the Law. POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States. ⟨hal-03447072⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON INRIA INRIA2 UDL
644 Consultations
422 Téléchargements

Partager

Gmail Facebook X LinkedIn More