Polymorphism Courses
GeeCON Conference via YouTube When and Why Do Efficient Algorithms Exist for Constraint Satisfaction and Beyond
BIMSA via YouTube The Complexity of Satisfiable CSPs
Centre de recherches mathématiques - CRM via YouTube Taming Lambdas' Uniqueness in C++ - Techniques and Workarounds
Meeting Cpp via YouTube Parameterized Algebraic Protocols
ACM SIGPLAN via YouTube Polymorphic Type Inference for Dynamic Languages
ACM SIGPLAN via YouTube Behavioral Up/Down Casting for Statically Typed Languages
ACM SIGPLAN via YouTube Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
ACM SIGPLAN via YouTube A History of Subtyping
ACM SIGPLAN via YouTube Lang-n-Prove: A Domain-Specific Language for Language Proofs
ACM SIGPLAN via YouTube