Merigoux, Denis

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. 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)