The French Public Finances Directorate is modernizing their 1990s-era tax code compiler with Mlang, an open-source toolchain that provides formal semantics and modern language compilation capabilities. The transition to Mlang represents a significant upgrade in maintaining and implementing French tax law computations, with official adoption now underway.

https://inria.hal.science/hal-03002266

via https://lobste.rs/top/rss

Reply to this note

Please Login to reply.

Discussion

No replies yet.