Article: A Programming Language for Future Interests

Shrutarshi Basu (Harvard University,) Nate Foster (Cornell University,) James Grimmelmann (Cornell Law School,) Shan Parikh (Oracle Corporation,) and Ryan Richardson (Google) recently published an article, A Programming Language for Future Interests, Yale Journal of Law and Technology, 2022. Provided below is an abstract to the paper:

Learning the system of estates in land and future interests can seem like learning a new language. Scholars and students must master unfamiliar phrases, razor-sharp rules, and arbitrarily complicated structures. Property law is this way not because future interests are a foreign language, but because they are a programming language.

This Article presents Orlando, a programming language for expressing conveyances of future interests, and Littleton, a freely available online interpreter (at https://conveyanc.es) that can diagram the interests created by conveyances and model the consequences of future events. Doing so has three payoffs. First, formalizing future interests helps students and teachers of the subject by allowing them to visualize and experiment with conveyances. Second, the process of formalization is itself deeply illuminating about property doctrine and theory. And third, the computer-science subfield of programming language theory has untapped potential for legal scholarship: a programming-language approach takes advantage of the linguistic parallels between legal texts and computer programs.