Sun 15 Jan 2023 14:25 - 14:50 at Kenmore - Session #3 Chair(s): Shrutarshi Basu, Jonathan Protzenko, Emma Tosch

Legal contracts can be amended during their lifetimes through the agreement of the parties, or according to the doctrines of force majeure and hardship. When legal contracts are defined by a programming language, amendments are runtime adjustments of their behaviour and must be expressed by means of appropriate features. In this paper, we study the extension of Stipula, a formal language for legal contracts, with higher- order to enable the dynamic update of the code. We code and discuss two paradigmatic scenarios in higher-order Stipula and study its formal semantics.

Sun 15 Jan

Displayed time zone: Eastern Time (US & Canada) change