research
∙
02/19/2023
Rewriting modulo traced comonoid structure
In this paper we adapt previous work on rewriting string diagrams using ...
share
research
∙
01/25/2022
Full abstraction for digital circuits
This paper refines the existing axiomatic semantics of digital circuits ...
research
∙
07/28/2021
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
We enhance the calculus of string diagrams for monoidal categories with ...
research
∙
02/04/2021
Operational Semantics with Hierarchical Abstract Syntax Graphs
This is a motivating tutorial introduction to a semantic analysis of pro...
research
∙
06/23/2020
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation
We examine the connections between deterministic, complete, and general ...
research
∙
10/21/2019
Transparent Synchronous Dataflow
There are several functional approaches to dataflow programming, produce...
research
∙
08/10/2019
The far side of the cube
Game-semantic models usually start from the core model of the prototypic...
research
∙
07/02/2019
Local Reasoning for Robust Observational Equivalence
We propose a new core calculus for programming languages with effects, i...
research
∙
02/28/2018
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
In implementing evaluation strategies of the lambda-calculus, both corre...
research
∙
02/19/2018
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting
In implementing evaluation strategies of the lambda-calculus, both corre...
research
∙
10/11/2017
Abductive functional programming, a semantic approach
We propose a call-by-value lambda calculus extended with a new construct...
research
∙
08/07/2017