7 citations · 45 across the 22 of their papers we have counts for
Showing 2021 · cs.PLShow all
2 papers · 2 filters
cs.PL2021★ 7 cited
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…
cs.PL2021★ 1 cited
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…