Accéder directement au contenu

Denis Merigoux

4
Documents

Présentation

Personal web page: <https://merigoux.ovh>

Publications

"aymeric-fromherz"
Image document

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Raphaël Monat , Aymeric Fromherz , Denis Merigoux
ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg City, Luxembourg. pp.421-450, ⟨10.1007/978-3-031-57267-8_16⟩
Communication dans un congrès hal-04536403v1
Image document

Turning Catala into a Proof Platform for the Law

Alain Delaët , Denis Merigoux , Aymeric Fromherz
POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
Communication dans un congrès hal-03447072v1