Hacker News
Lobsters
- Catala: A Programming Language for the Law https://arxiv.org/pdf/2103.03198.pdf 17 comments formalmethods , law , pdf , plt
- Catala: A Programming Language for the Law https://equilibria.club/catala-a-programming-language-for-the-law/ 3 comments law
- Catala: A Programming Language for the Law https://arxiv.org/abs/2103.03198#:~:text=catala%20aims%20to%20bring%20together,incorrect%20implementations%20of%20the%20law 200 comments programming