43:45

[ProLALA'22] Research keynote -- Programming Languages and Law: A Research Agenda for a New Field

ACM SIGPLAN

23:12

[ProLALA'22] Legal Calculi

ACM SIGPLAN

20:36

[ProLALA'22] Position Paper: LLD is All You Need

ACM SIGPLAN

22:05

[ProLALA'22] Logical English as a Programming Language for the Law

ACM SIGPLAN

17:28

[ProLALA'22] Introduction of PROLEG (PROlog-based LEGal reasoning support system)

ACM SIGPLAN

21:57

[ProLALA'22] DPCL: a Language Template for Normative Specifications

ACM SIGPLAN

23:51

[ProLALA'22] Reflections on the design and application of eFLINT

ACM SIGPLAN

9:45

[ProLALA'22] Littleton: An Educational Environment for Property Law

ACM SIGPLAN

9:39

[ProLALA'22] Modeling Administrative Discretion Using Goal-Directed Answer Set Programming

ACM SIGPLAN

8:23

[ProLALA'22] Prevalence of Expression Types in Legislative Text

ACM SIGPLAN

25:05

[ProLALA'22] Cod(e)ifying The Law

ACM SIGPLAN

51:27

[ProLALA'22] Industry keynote -- What does a toolchain for legislation eventually become?

ACM SIGPLAN

22:01

[ProLALA'22] Ergo - a programming language for Smart Legal Contracts

ACM SIGPLAN

19:17

[ProLALA'22] A General Library of Legal Components

ACM SIGPLAN

18:33

[ProLALA'22] Overview of the CCLAW L4 project

ACM SIGPLAN

21:31

[ProLALA'22] Turning Catala into a Proof Platform for the Law

ACM SIGPLAN