Research keynote -- Programming Languages and Law: A Research Agenda for a New Field
summary
Workshop surveys a taxonomy of PL+law research and proposes ten concrete tracks: legal DSLs for contracts and hybrid smart/legal contracts that compile to lambda-calculus cores, a verified reimplementation of the French tax code using Catalog-style compilation, and tooling: IDE features (syntax highlighting, testing, static analysis) and visualizers (railroad-diagram style for property interests). Evidence: 25 submissions and 60 registrants; prototypes like Orlando/Littleton and tax-code verification demonstrate feasibility and many low‑hanging engineering wins.
AI-written summary · about
chapters (26)
- 0:00Start
- 3:28Ten big ideas for the
- 6:53Zooming in on law and PL
- 7:31CS subfields
- 9:05Program text legal text
- 9:45The PL advantage
- 11:23Law of PL
- 12:18Everything law always wanted to know about PL
- 13:15Contract DSLS
- 14:40Hybrid contracts
- 16:21And you get a legal DSL
- 17:52Legal logic programming
- 18:53Legal calculi
- 19:33Orthogonal legai primitives
- 20:49Language features
- 21:54(5) Legal drafting languages
- 24:07Legal design patterns
- 26:04Legal design principles
- 26:47Programming tools
- 27:49An IDE for lawyers
- 28:38Tools for teaching and modeling
- 29:37Jupyter notebooks for law
- 30:04Philosophical questions
- 31:01What is interpretation?
- 31:54Interdisciplinary work is hard!
- 33:25Principled ad hoc