7 citations · 45 across the 22 of their papers we have counts for
12 papers · 1 filter
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger +1
We enhance the calculus of string diagrams for monoidal categories with hierarchical features in order to capture closed monoidal (and cartesian closed) structure. Using this new s…
Operational Semantics with Hierarchical Abstract Syntax Graphs
Dan R. Ghica
This is a motivating tutorial introduction to a semantic analysis of programming languages using a graphical language as the representation of terms, and graph rewriting as a repre…
Transparent Synchronous Dataflow
Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
Dataflow programming is a popular and convenient programming paradigm in systems modelling, optimisation, and machine learning. It has a number of advantages, for instance the lack…
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…
Abductive functional programming, a semantic approach
Koko Muroya, Steven Cheung, Dan R. Ghica
We propose a call-by-value lambda calculus extended with a new construct inspired by abductive inference and motivated by the programming idioms of machine learning. Although synta…
On the Learnability of Programming Language Semantics
Dan R. Ghica, Khulood Alyahya
Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models ("fully abstract") for a wide variety of programming lan…