4 citations · 5 across the 2 of their papers we have counts for
7 papers
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…
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…
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…
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…
A robust graph-based approach to observational equivalence
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
We propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our approach is based on what we…
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…