Reactive Systems Courses
Devoxx Poland via YouTube Akka Cluster and Akka Typed Deep Dive
Devoxx Poland via YouTube Efficient Loops in Arrowized Functional Reactive Programming - Haskell 2023
ACM SIGPLAN via YouTube Solving Infinite-State Games via Acceleration
ACM SIGPLAN via YouTube Pipit: Reactive Systems in F★ for Safety-Critical Control Systems
ACM SIGPLAN via YouTube