
Functorial String Diagrams for ReverseMode Automatic Differentiation
We enhance the calculus of string diagrams for monoidal categories with ...
read it

Operational Semantics with Hierarchical Abstract Syntax Graphs
This is a motivating tutorial introduction to a semantic analysis of pro...
read it

A Constructive, TypeTheoretic Approach to Regression via Global Optimisation
We examine the connections between deterministic, complete, and general ...
read it

Transparent Synchronous Dataflow
There are several functional approaches to dataflow programming, produce...
read it

The far side of the cube
Gamesemantic models usually start from the core model of the prototypic...
read it

Local Reasoning for Robust Observational Equivalence
We propose a new core calculus for programming languages with effects, i...
read it

The Dynamic Geometry of Interaction Machine: A TokenGuided Graph Rewriter
In implementing evaluation strategies of the lambdacalculus, both corre...
read it

Efficient Implementation of Evaluation Strategies via TokenGuided Graph Rewriting
In implementing evaluation strategies of the lambdacalculus, both corre...
read it

Abductive functional programming, a semantic approach
We propose a callbyvalue lambda calculus extended with a new construct...
read it

On the Learnability of Programming Language Semantics
Game semantics is a powerful method of semantic analysis for programming...
read it
Dan R. Ghica
is this you? claim profile