Denis Merigoux
2
Documents
Présentation
Personal web page: <https://merigoux.ovh>
Publications
- 2
- 2
- 2
- 1
|
|
Catala, un langage pour transformer la loi en code (démonstration)33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.264-266
Communication dans un congrès
hal-03626853v1
|
|
|
Turning Catala into a Proof Platform for the LawPOPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
Communication dans un congrès
hal-03447072v1
|