TY  - RPRT
TI  - Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows
AU  - Alexander Bernauer
AU  - Sofia Faro
AU  - Rémy Hämmerle
AU  - Martin Huschenbett
AU  - Moritz Kiefer
AU  - Andreas Lochbihler
AU  - Jussi Mäki
AU  - Francesco Mazzoli
AU  - Simon Meier
AU  - Neil Mitchell
AU  - Ratko G. Veprek
PY  - 2023
UR  - https://arxiv.org/abs/2303.03749
ID  - 2303.03749
ER  -