Mario Román

❯

❯

dinaturality for monoidal streams

dinaturality for monoidal streams

Jan 20, 20241 min read

dinaturality-for-monoidal-streams

Tags: dinaturality, Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)

Graph View

Backlinks

Dinaturality

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID