3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 3 cited
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows
Alexander Bernauer, Sofia Faro, Rémy Hämmerle +8
Distributed ledger technologies, also known as blockchains for enterprises, promise to significantly reduce the high cost of automating multi-party business workflows. We argue tha…
cs.PL2022★ 1 cited
Eiger: Auditable, executable, flexible legal regulations
Alexander Bernauer, Richard A. Eisenberg
Despite recent advances in communication and automation, regulations are still written in natural-language prose, subject to ambiguity, inconsistency, and incompleteness. How can w…