Turning Catala into a Proof Platform for the Law
Domains
Programming Languages [cs.PL]| Origin | Files produced by the author(s) |
|---|
Conference Papers
Year : 2022
Denis Merigoux : Connect in order to contact the contributor
https://inria.hal.science/hal-03447072
Submitted on : Wednesday, November 24, 2021-4:14:56 PM
Last modification on : Monday, April 8, 2024-2:08:55 PM
Long-term archiving on : Friday, February 25, 2022-7:35:00 PM
Dates and versions
Identifiers
- HAL Id : hal-03447072 , version 1
Cite
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⟩
683
View
463
Download