Parametric Polymorphism Courses
Java via YouTube VM Futures - Trends and Ideas for Java Virtual Machine Evolution
Java via YouTube Adventures in Parametric Polymorphism - Project Valhalla and Value Types
Java via YouTube Adventures on the Road to Valhalla - Improving Java Generics - Lecture
Java via YouTube Functional Programming in Plain Terms
Ruby Central via YouTube Functional Programming in Plain Terms - Concepts for Ruby and Rails
Confreaks via YouTube etylizer - Set-theoretic Types for Erlang
Code Sync via YouTube Mechanizing Refinement Types
ACM SIGPLAN via YouTube Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations
ACM SIGPLAN via YouTube Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024
ACM SIGPLAN via YouTube