research
∙
03/07/2023
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows
Distributed ledger technologies, also known as blockchains for enterpris...
share
research
∙
04/12/2021
Quotients of Bounded Natural Functors
The functorial structure of type constructors is the foundation for many...
research
∙
08/17/2018
