Type Inference Courses
ACM SIGPLAN via YouTube Type Inference for Application Spines in Higher-Order Languages - WITS'24
ACM SIGPLAN via YouTube When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
ACM SIGPLAN via YouTube Polymorphic Type Inference for Dynamic Languages
ACM SIGPLAN via YouTube Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
ACM SIGPLAN via YouTube All Languages are Dynamic - Speculations on the Future of Programming Languages
ACM SIGPLAN via YouTube A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
ACM SIGPLAN via YouTube Relational Solver for Java Generics Type System
ACM SIGPLAN via YouTube Unification Modulo Equational Theories in Languages with Binding Operators
ACM SIGPLAN via YouTube Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
ACM SIGPLAN via YouTube