7 citations · 23 across the 10 of their papers we have counts for
6 papers · 1 filter
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…
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation
Dan R. Ghica, Todd Waugh Ambridge
We examine the connections between deterministic, complete, and general global optimisation of continuous functions and a general concept of regression from the perspective of cons…
The far side of the cube
Dan R. Ghica
Game-semantic models usually start from the core model of the prototypical language PCF, which is characterised by a range of combinatorial constraints on the shape of plays. Relax…
Abstract machines for game semantics, revisited
Olle Fredriksson, Dan R. Ghica
We define new abstract machines for game semantics which correspond to networks of conventional computers, and can be used as an intermediate representation for compilation targeti…