Hacker News
Lobsters
- Catala: A Programming Language for the Law https://arxiv.org/pdf/2103.03198.pdf 17 comments formalmethods , law , pdf , plt
Linking pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:arxiv.org
Search title: [2103.03198] Catala: A Programming Language for the Law
See how to search.