3 citations · 3 across the 2 of their papers we have counts for
3 papers
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…
Quotients of Bounded Natural Functors
Basil Fürer, Andreas Lochbihler, Joshua Schneider +1
The functorial structure of type constructors is the foundation for many definition and proof principles in higher-order logic (HOL). For example, inductive and coinductive datatyp…
Cardinality Estimators do not Preserve Privacy
Damien Desfontaines, Andreas Lochbihler, David Basin
Cardinality estimators like HyperLogLog are sketching algorithms that estimate the number of distinct elements in a large multiset. Their use in privacy-sensitive contexts raises t…