AI Chat AI Image Generator AI Video Text to Speech

A complete language for faceted dataflow programs

06/13/2019

∙

by Antonin Delpeuch, et al.

∙

∙

We present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three-dimensional diagrammatic language for workflows, more expressive than the directed acyclic graphs generally used for this purpose. This calls for an implementation of these representations in data transformation tools.

research

∙ 05/15/2020

Monads and "do" notation in the Wolfram Language

This paper describes a categorical interpretation of the Wolfram Languag...

0 Kacper Topolnicki, et al. ∙

research

∙ 07/02/2022

On Structuring Functional Programs with Monoidal Profunctors

We study monoidal profunctors as a tool to reason and structure pure fun...

0 Alexandre Garcia de Oliveira, et al. ∙

research

∙ 06/09/2011

A Knowledge Compilation Map

We propose a perspective on knowledge compilation which calls for analyz...

0 A. Darwiche, et al. ∙

research

∙ 10/19/2012

LAYERWIDTH: Analysis of a New Metric for Directed Acyclic Graphs

We analyze a new property of directed acyclic graphs (DAGs), called laye...

0 Mark Hopkins, et al. ∙

research

∙ 08/28/2016

A Generalization of the Directed Graph Layering Problem

The Directed Layering Problem (DLP) solves a step of the widely used lay...

0 Ulf Rüegg, et al. ∙

research

∙ 04/25/2018

Stratified Negation in Limit Datalog Programs

There has recently been an increasing interest in declarative data analy...

0 Mark Kaminski, et al. ∙

research

∙ 07/16/2018

Teaching machines to understand data science code by semantic enrichment of dataflow graphs

Your computer is continuously executing programs, but does it really und...

2 Evan Patterson, et al. ∙