A Modern Compiler for the French Tax Code (2021)
arxiv.org