3 citations · 5 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.PL2016★ 2 cited
Type checking through unification
Francesco Mazzoli, Andreas Abel
In this paper we describe how to leverage higher-order unification to type check a dependently typed language with meta-variables. The literature usually presents the unification a…