7 citations · 45 across the 22 of their papers we have counts for
23 papers
Categorical E-Graphs for Lambda Calculi
Aleksei Tiurin, Dan R. Ghica, Nick Hu
Equality saturation, a technique for program optimisation and reasoning, has gained attention due to the resurgence of equality graphs (e-graphs). E-graphs represent equivalence cl…
Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
Aleksei Tiurin, Chris Barrett, Dan R. Ghica +1
The technique of \emph{equality saturation}, which equips graphs with an equivalence relation, has proven effective for program optimisation. We give a categorical semantics to the…
String Diagrams for -calculi and Functional Computation
Dan Ghica, Fabio Zanasi
This tutorial gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the…
Rewriting Modulo Traced Comonoid Structure
Dan R. Ghica, George Kaye
In this paper we adapt previous work on rewriting string diagrams using hypergraphs to the case where the underlying category has a traced comonoid structure, in which wires can be…
String diagrams for Strictification and Coherence
Paul Wilson, Dan Ghica, Fabio Zanasi
Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict mo…
A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
Dan R. Ghica, George Kaye, David Sprunger
Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical in which…