Type Inference Courses and Certifications

ChariotSolutions

Uncovering the Unknown - Principles of Type Inference in Programming Languages

Explore type inference in programming languages, uncovering quirks and power in C#, Scala, and Haskell. Delve into local and global inference, constraint typing, and structural typing.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving

Explore innovative concrete type inference for dynamically typed languages, combining machine learning and SMT solving to enable code optimization without manual type annotations, significantly boosting performance.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Solving Constraints During Type Inference - WITS'24

Explore GHC's type inference engine, covering bidirectional inference, implication constraints, level numbers, evidence generation, and quantified constraints in Haskell.

• YouTube
• 33 minutes
• On-Demand
• Free Video

ACM SIGPLAN

When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism

Explore a novel type inference approach for first-class polymorphism using multi-bounded polymorphism, advancing the state of the art in type inference for programming languages.

• YouTube
• 22 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Polymorphic Type Inference for Dynamic Languages

Explore a novel type system combining polymorphism, intersection types, and subtyping for dynamic languages. Learn about type reconstruction algorithms and their applications in advanced programming.

• YouTube
• 21 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Explore innovative approaches to improve type error messages in constraint-based type inference systems, focusing on data flow and subtyping constraints to enhance programmer understanding.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Ruby Central

Do LLMs Dream of Type Inference? - Using Large Language Models for Ruby Type Analysis

Explore how LLMs revolutionize type inference in Ruby through RBS Goose, examining its development, evaluation mechanisms, and future potential with TypeEvalRb benchmark insights.

• YouTube
• 32 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A Lightweight Type-and-Effect System for Invalidation Safety - Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference

Discover a novel type-and-effect system that tracks permanent and temporary invalidation of resources without aliasing restrictions, using Boolean-algebraic types for safer programming.

• YouTube
• 14 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

Explore efficient Boolean unification for Hindley-Milner-style type and effect systems. Learn about a hybrid algorithm improving compilation speed and reducing inference overhead in polymorphic effect systems.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Greedy Implicit Bounded Quantification in Object-Oriented Programming Languages

Explore greedy implicit bounded quantification in object-oriented programming, focusing on type inference algorithms and a variant of kernel F≤ with implicit polymorphism.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A Monadic Framework for Name Resolution in Multi-Phased Type Checkers

Explore a monadic framework for name resolution in multi-phased type checkers, bridging the gap between abstract typing rules and practical implementations using compositional mappings and monadic combinators.

• YouTube
• 32 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Unification Modulo Equational Theories in Languages with Binding Operators

Explore unification algorithms for languages with binding operators and equational axioms. Learn about solving equations between terms in logic programming and theorem proving.

• YouTube
• 59 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Inference of Static Semantics for Incomplete C Programs

Discover how to analyze and reconstruct incomplete C programs through advanced type inference techniques, enabling better static analysis and stub generation for partial code bases.

• YouTube
• 27 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

Explore Grove, a novel collaborative structure editor calculus that eliminates patch synthesis and merge algorithms by using a graph-based approach where all edits commute, with bidirectional typing for conflict resolution.

• YouTube
• 21 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Type-Outference with Label-Listeners - Foundations for Decidable Type-Consistency for Nominal Object-Oriented Generics

Discover a novel type-outference algorithm using label-listeners to validate object-oriented programs without type annotations, ensuring decidable type-consistency for generic interfaces.

• YouTube
• 15 minutes
• On-Demand
• Free Video