Mario Román

Home

❯

notes

❯

pieces

❯

Stream functions

Stream functions

May 02, 20251 min read

stream-functions

Tags: List opmonoidal comonad, Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022). References:

  • Comonadic Notions of Computation (Uustalu, Vene)
  • Sprunger, Katsumata.

Graph View

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

  • GitHub
  • ArXiv
  • OrcID