YoVDO

Programming Language Design Courses

Resource Polymorphism: Integrating First-Class Resources into ML
ACM SIGPLAN via YouTube
Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations
ACM SIGPLAN via YouTube
An Exceptional Actor System in Haskell - Functional Pearl
ACM SIGPLAN via YouTube
Haskell for Choice-Based Learning in Machine Learning Programming
ACM SIGPLAN via YouTube
The Principles of the Flix Programming Language
ACM SIGPLAN via YouTube
jGuard - Programming Misuse-Resilient APIs
ACM SIGPLAN via YouTube
Associated Effects: Flexible Abstractions for Effectful Programming
ACM SIGPLAN via YouTube
Concurrent Mutation Must Go
ACM SIGPLAN via YouTube
CHERI C Semantics
ACM SIGPLAN via YouTube
Effect Handlers for Choice-Based Learning in Machine Learning Programming
ACM SIGPLAN via YouTube
< Prev Page 12 Next >