u/ggvhin r/ProgrammingLanguages • Recommends
Read a paper: A Programming Language for the Law
0:00 / 0:00
#catala#domain-specificlanguages
Read a paper: A Programming Language for the Law
Vivek Haldar
8.4K subscribers • 16 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Vivek Haldar
Intermediate. Assumes working knowledge.
748 views5 years ago1 recommendation
Programming languagesLanguage design and type systems
Vivek Haldar reviews the Catala paper, a domain-specific programming language designed for translating statutory law into code.
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko. Catala: A Programming Language for the Law. 2021. ⟨hal-03159939⟩ Link to paper: hal.inria.fr/hal-03159939 Previous video on related paper:Why it's here
1 person recommends thisWhat people say. Recommended as an interesting look at designing a programming language specifically for legal specifications.