Scala Courses

Inside the Scala Capture Checker
ACM SIGPLAN via YouTube

Capture Tracking in Scala
ACM SIGPLAN via YouTube

Type-Checking CRDT Convergence
ACM SIGPLAN via YouTube

Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
ACM SIGPLAN via YouTube

API-Driven Program Synthesis for Testing Static Typing Implementations
ACM SIGPLAN via YouTube

Type-Safe Dynamic Placement with First-Class Placed Values
ACM SIGPLAN via YouTube

Initializing Global Objects: Time and Order
ACM SIGPLAN via YouTube

P4R-Type: A Verified API for P4 Control Plane Programs
ACM SIGPLAN via YouTube

Simple Reference Immutability for System F-sub
ACM SIGPLAN via YouTube

Structured Concurrency: Managing Hierarchical Cancellation and Error Handling
Devoxx via YouTube