activity
20152024
most citedTyping Classes and Mixins with Intersection Types

5 citations · 10 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2022

Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

Yibin Xu, Tijs Slaats, Boris Düdder +2

We provide a practical translation from the Dynamic Condition Response (DCR) process modelling language to the Transaction Execution Approval Language (TEAL) used by the Algorand b…