Turning Catala into a Proof Platform for the Law
Domaines
Langage de programmation [cs.PL]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2022
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 : mardi 12 novembre 2024-15:20:06
Archivage à long terme le : vendredi 25 février 2022-19:35:00
Dates et versions
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⟩
701
Consultations
485
Téléchargements