most citedFixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2021

Babel Fees via Limited Liabilities

Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias +2

Custom currencies (ERC-20) on Ethereum are wildly popular, but they are second class to the primary currency Ether. Custom currencies are more complex and more expensive to handle…