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

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

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

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

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

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

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

Stanford Seminar - Optional Static Typing for Python

1 review

Explore optional static typing in Python, covering gradual typing, mypy, type inference, generics, and protocols. Learn to implement and benefit from static typing in Python projects.

• YouTube
• 1 hour 17 minutes
• On-Demand
• Free Online Course

Advanced Functional Programming Techniques

Master advanced functional programming concepts through monads, functors, and transformers in C++, focusing on practical implementations and real-world design patterns.

• CodeSignal
• On-Demand
• Free Certificate

Scala Applied, Part 1

3706 ratings at Udemy

Introduction to programming in the Scala language. Core syntax and concepts.

• Udemy
• 5 hours 44 minutes
• On-Demand
• Paid Course

Learn NodeJS in 2024 | From Basics to Brilliance

428 ratings at Udemy

NodeJS Unleashed: From Basics to Brilliance, NodeJS Architecture, Async Programming, Modularization, and More

• Udemy
• 17 hours 24 minutes
• On-Demand
• Paid Course

Dart Programming: Comprehensive Training for All Levels

34 ratings at Udemy

Master Dart programming—start from the basics and advance to building real-world applications with confidence!

• Udemy
• 10 hours 56 minutes
• On-Demand
• Paid Course

Understanding TypeScript For Beginner To Advanced

18 ratings at Udemy

Understanding TypeScript Course For Beginner To Advanced Step-By-Step

• Udemy
• 3 hours 36 minutes
• On-Demand
• Paid Course