Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Software
Community Service
Posts
Light
Dark
Automatic
Denis Merigoux
Latest
Mlang: an Open-Source Toolchain for the Income Tax Computation
Mlang: an Open-Source Toolchain for the Income Tax Computation
A Modern Compiler for the French Tax Code
A Modern Compiler for the French Tax Code
Étude formelle de l’implémentation du code des impôts
Étude formelle de l’implémentation du code des impôts
Formal study of the French tax code's implementation
Cite
×