YoVDO

Stream Types - A Foundational Theory of Typed Data Streams and Stream Transformers

Offered By: ACM SIGPLAN via YouTube

Tags

Type System Courses Distributed Systems Courses Parallel Computing Courses Stream Processing Courses Lambda Calculus Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 25-minute video presentation from PLDI 2024 introducing Stream Types, a foundational theory of typed data streams and stream transformers. Delve into the rich type system designed to express complex sequential patterns of events over time and describe internal parallel stream structures. Discover how the proposed λST calculus supports common streaming idioms like punctuation, windowing, and parallel partitioning as first-class constructions. Learn about the Curry-Howard-like correspondence with ordered Logic of Bunched Implication and the use of Brzozowski-style derivatives for incremental semantics. Examine practical examples using Delta, a prototype language based on λST, to understand the programming style enabled by this innovative approach to stream processing.

Syllabus

[PLDI24] Stream Types


Taught by

ACM SIGPLAN

Related Courses

Advanced Operating Systems
Georgia Institute of Technology via Udacity High Performance Computing
Georgia Institute of Technology via Udacity GT - Refresher - Advanced OS
Georgia Institute of Technology via Udacity Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX CS125x: Advanced Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX