The Lax Braided Structure of Streaming I/O

DOI10.4230/LIPICS.CSL.2011.292zbMath1247.68088OpenAlexW2246548093MaRDI QIDQ2915690

Alan Jeffrey, Julian Rathke

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_e07f.html

zbMATH Keywords

semanticscategorical modelsAgdastreaming I/O

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categories of machines, automata (18B20)

Uses Software

• Agda

This page was built for publication: The Lax Braided Structure of Streaming I/O