u/ggvhin r/Compilers • Recommends
Read a paper: A modern compiler for the French tax code
#catala#domain-specificlanguages#frenchtaxcode
8.4K subscribers • 16 videos on Hallway
Intermediate. Assumes working knowledge.
1K views5 years ago1 recommendation
Systems programmingProgramming languagesCompilers and interpretersLanguage design and type systems
Vivek Haldar reviews a research paper detailing the design and implementation of a compiler and domain-specific language for the French tax code.
Denis Merigoux, Raphaël Monat, and Jonathan Protzenko. 2021. A modern compiler for the French tax code. In Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction (CC 2021). Association for Computing Machinery, New York, NY, USA, 71–82. DOI:doi.org/10.1145/3446804.3446850 Link to paper: arxiv.org/pdf/2011.07966.pdf twitter.com/vivekhaldar vivekhaldar.comWhat people say. Recommended as a fascinating look at applying compiler design and domain-specific languages to legal and tax codes.
u/ggvhin r/Compilers • Recommends