POPL 2022 (series) / ProLaLa 2022 (series) / Programming Languages and the Law 2022 / Littleton: An Educational Environment for Property Law
Littleton: An Educational Environment for Property LawRemote
We present the design and implementation of Littleton: an online educational environment for students of property law. Littleton is built atop the Orlando legal programming language and adds several key feature making it useful to students and teachers. Crucially, Littleton adds naming rules for interests in property law, which are unnecessary for the core semantics of Orlando, but essential for any practical use. Littleton also provides a easy-to-use visual interface and a complete set of examples, all packaged into an easily deployable web-based tool.
Littleton Talk (prolala short.pdf) | 2.52MiB |
Littleton (Extended Abstract) (short.pdf) | 398KiB |
Sun 16 JanDisplayed time zone: Eastern Time (US & Canada) change
Sun 16 Jan
Displayed time zone: Eastern Time (US & Canada) change
13:30 - 14:10 | |||
13:30 10mTalk | Littleton: An Educational Environment for Property LawRemote ProLaLa Shrutarshi Basu Harvard University, Anshuman Mohan Cornell University, James Grimmelmann Cornell University, Nate Foster Cornell University File Attached | ||
13:40 10mTalk | Modeling Administrative Discretion Using Goal-Directed Answer Set ProgrammingRemote ProLaLa Joaquín Arias Universidad Rey Juan Carlos, Mar Moreno-Rebato Universidad Rey Juan Carlos, José Antonio Rodríguez-García Universidad Rey Juan Carlos, Sascha Ossowski Universidad Rey Juan Carlos Pre-print Media Attached File Attached | ||
13:50 10mTalk | Probabilistic programming for Employment Tribunal remediesRemote ProLaLa James Cheney University of Edinburgh; Alan Turing Institute | ||
14:00 10mTalk | Prevalence of Expression Types in Legislative TextRemote ProLaLa Jason Morris Service Canada, Lexpedite Legal Technology |