Denis Merigoux

1. A Modern Compiler for the French Tax Code
   2020/11/16 by Denis Merigoux, Raphaël Monat, Merigoux, Denis +3 · 8 voices · 2 citations
   #cs.PL
2. Catala: a programming language for the law
   2021/03/04 by Denis Merigoux, Nicolas Chataing, Jonathan Protzenko · 5 voices · 9 citations
   Computer Science · Social Sciences · #Multi-Agent Systems and Negotiation #Logic, Reasoning, and Knowledge #Artificial Intelligence in Law
3. Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
   2024/03/13 by Raphaël Monat, Aymeric Fromherz, Monat, Raphaël +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Programming Languages (cs.PL)