Hacker News
- Catala: A Programming Language for the Law (Search by title)
https://arxiv.org/abs/2103.03198 (Lookup URL)
126 comments, 232 points []
Lobsters
- Catala: A Programming Language for the Law (Search by title)
https://arxiv.org/pdf/2103.03198.pdf (Lookup URL)
17 comments, 42 points [] Tags: formalmethods, law, pdf, plt
- Catala: A Programming Language for the Law (Search by title)
https://equilibria.club/catala-a-programming-language-for-the-law/ (Lookup URL)
3 comments, 6 points [] law - Catala: A Programming Language for the Law (Search by title)
https://arxiv.org/abs/2103.03198#:~:text=catala%20aims%20to%20bring%20together,incorrect%20implementations%20of%20the%20law (Lookup URL)
200 comments, 532 points [] programming