9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Categorical Models of Amortized Cost: An Adjoint Relationship between Cost and Potential
David Binder, David Corfield, Dominic Orchard +1
Various type systems have been developed to track the cost of a computation using a cost-tracking monad . On its own, this only tracks the worst-case cost of a computati…
math.GT2021★ 9 cited
Fundamental weight systems are quantum states
David Corfield, Hisham Sati, Urs Schreiber
Weight systems on chord diagrams play a central role in knot theory and Chern-Simons theory; and more recently in stringy quantum gravity. We highlight that the noncommutative alge…