Denis Merigoux, Raphaël Monat, Jonathan Protzenko. A modern compiler for the French tax code. In Aaron Smith, Delphine Demange, Rajiv Gupta 0001, editors, CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, Republic of Korea, March 2-3, 2021. pages 71-82, ACM, 2021. [doi]
Abstract is missing.