research
∙
01/12/2023
Algebraic Model Management: A Survey
We survey the field of model management and describe a new model managem...
share
research
∙
09/28/2022
Consensus-Free Spreadsheet Integration
We describe a method for merging multiple spreadsheets into one sheet, a...
research
∙
05/05/2022
Fast Left Kan Extensions Using The Chase
We show how computation of left Kan extensions can be reduced to computa...
research
∙
01/02/2020
Informal Data Transformation Considered Harmful
In this paper we take the common position that AI systems are limited mo...
research
∙
09/11/2019
Algebraic Property Graphs
In this paper, we use algebraic data types to define a formal basis for ...
research
∙
03/25/2019