Type Inference Courses and Certifications

Scala Days Conferences

Type Parameter Power-Up! Variance, Bounds, and Inference

Explore advanced Scala type system concepts including variance, bounds, and inference to enhance your programming skills and write more robust code.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk

Java

Dynamic Dispatch and Type Inference in Fortress - Lecture

Explore dynamic dispatch and type inference in Fortress, covering generic overloading, trait-based systems, and runtime type operations, with insights on JVM implementation challenges.

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

ACM SIGPLAN

Type Inference for Application Spines in Higher-Order Languages - WITS'24

Explore type inference for application spines in Haskell, covering error messages, impredicative polymorphism, visible type application, and required type arguments.

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

Confreaks

Do LLMs Dream of Type Inference? - Exploring LLM-Based Type Inference Tools in Ruby

Explore how LLM-based type inference tools like RBS Goose are revolutionizing Ruby development, with insights into evaluation mechanisms and benchmarking approaches.

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

Gopher Academy

Everything You Always Wanted to Know About Type Inference in Go

Explore Go's type inference feature: its magic, potential, and impact on code cleanliness. Gain insights into this powerful aspect of Go's generic functions.

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

ACM SIGPLAN

Type Inference in OCaml and GHC Using Levels

Explore type inference and generalization algorithms in OCaml and GHC based on Rémy's type levels concept, including their implementation and additional applications beyond generalization.

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

ACM SIGPLAN

RestPi - Path-Sensitive Type Inference for REST APIs

Discover RestPi, a novel type inference engine that automatically generates REST API specifications using path-sensitive analysis to enumerate all response types efficiently.

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

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
• 3 hours
• On-Demand
• Free Certificate

Scala Applied, Part 1

3746 ratings at Udemy

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

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

Introduction to Kotlin for Java Developers

655 ratings at Udemy

Learn Kotlin, a modern language for the JVM (now officially supported on Android!)

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

Best practices & advanced TypeScript tips for React devs

500 ratings at Udemy

Are you a React developer trying to get the most benefits from TypeScript? Then this is the course for you.

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

Learn NodeJS in 2024 | From Basics to Brilliance

432 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

Advanced TypeScript - A Production-grade TypeScript Course

335 ratings at Udemy

Become the TypeScript guru at your company with this comprehensive production-grade advanced TypeScript course.

• Udemy
• 9 hours 53 minutes
• On-Demand
• Paid Course

TypeScript Developer Course in 2025 – Beginner to Expert

124 ratings at Udemy

Learn TypeScript, leverage its Power to Create Production-Grade Web Applications and Take Your Skills to the Next Level

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

Understanding TypeScript For Beginner To Advanced

94 ratings at Udemy

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

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