ProLaLa 2022
Sun 16 - Sat 22 January 2022 Philadelphia, Pennsylvania, United States
co-located with POPL 2022
All Editions
Sun 16 - Sat 22 January 2022 Philadelphia, Pennsylvania, United States

ProLaLa 2022 with POPL 2022

Law at large underpins modern society, codifying and governing many aspects of citizens’ daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. The programming langu ...