Property conveyances as a programming language-Reference-Cited by-同舟云学术

Property conveyances as a programming language

Published:2019-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
language:
Short-container-title:

Author:

Basu Shrutarshi¹,Foster Nate²,Grimmelmann James²

Affiliation:

1. Harvard University, USA

2. Cornell University, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3359591.3359734

Reference30 articles.

1. Accord. 2018. Introduction to Ergo Accord Project. Retrieved April 29 2019 from https://docs.accordproject.org/docs/ergo.html Accord. 2018. Introduction to Ergo Accord Project. Retrieved April 29 2019 from https://docs.accordproject.org/docs/ergo.html

2. American Law Institute. 1936. Restatement of Property. American Law Institute. 1936. Restatement of Property.

3. American Law Institute. 1979. Restatement (Second) of Torts. American Law Institute. 1979. Restatement (Second) of Torts.

4. Partial derivatives of regular expressions and finite automaton constructions

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pacta sunt servanda: Legal contracts in;Science of Computer Programming;2023-01

2. Legal Contracts Amending with;Lecture Notes in Computer Science;2023

3. Programming Languages and Law: A Research Agenda;Proceedings of the 2022 Symposium on Computer Science and Law;2022-11

4. From Legal Contracts to Legal Calculi: the code-driven normativity;Electronic Proceedings in Theoretical Computer Science;2022-09-06

5. Intercultural Computing Education: Toward Justice Across Difference;ACM Transactions on Computing Education;2021-12-31