@misc{indiciae937d5315d6b0, title = {Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows}, author = {Alexander Bernauer and Sofia Faro and Rémy Hämmerle and Martin Huschenbett and Moritz Kiefer and Andreas Lochbihler and Jussi Mäki and Francesco Mazzoli and Simon Meier and Neil Mitchell and Ratko G. Veprek}, year = {2023}, url = {https://arxiv.org/abs/2303.03749}, note = {Source identifier: 2303.03749} }