James Grimmelmann
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| The Structure and Legal Interpretation of Computer Programs | ProLaLa 2023 | 2023-01-15 |
Argues programs have three distinct legal meanings: naive functional meaning (what a particular execution actually does, e.g. an ATM debits but crashes)… | ||
| Research keynote -- Programming Languages and Law: A Research Agenda for a New Field | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
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… | ||
| Legal Calculi | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
Proposes a concrete middle layer: small, domain-specific legal calculi that compile nontrivially from human-facing DSLs (Orlando for property, Catala for… | ||
| Littleton: An Educational Environment for Property Law | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
Littleton is an online, web‑deployable environment built on the Orlando legal programming language that actually names and visualizes property interests, adds… | ||
| nothing matches | ||