Roadmap Stream SCC: syntax and semantics SSCC vs SCC A simple type system Some conclusions Roadmap Stream SCC: syntax and semantics SSCC vs SCC A simple type system Some…