Skip to Main content Skip to Navigation
New interface
Conference papers

Turning Catala into a Proof Platform for the Law

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03447072
Contributor : Denis Merigoux Connect in order to contact the contributor
Submitted on : Wednesday, November 24, 2021 - 4:14:56 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:05 PM
Long-term archiving on: : Friday, February 25, 2022 - 7:35:00 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03447072, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

318

Files downloads

275