2 citations · 2 across the 2 of their papers we have counts for
2 papers
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…
cs.PL2018★ 2 cited
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog
Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones +1
Incremental computation has recently been studied using the concepts of change structures and derivatives of programs, where the derivative of a function allows updating the output…