Type Theory & Type Systems Courses and Certifications

KodeKloud

Golang: Foundations and Variables

Master Go fundamentals — syntax, data types, variables, constants, and operators. Build real programs with hands-on labs, no prior coding experience needed.

• Coursera
• 3 weeks, 2 hours a week
• Self-Paced
• Paid Course

Packt

Julia Programming for Data Science and Machine Learning

Master Julia v1.8 for data science and machine learning, covering type systems, metaprogramming, interoperability, visualization, and scientific computing with hands-on, real-world applications.

• Coursera
• 12 hours
• Self-Paced
• Paid Course

LearnKartS Career Certificate

TypeScript for Modern Development

Master TypeScript from fundamentals to advanced patterns, covering type systems, OOP, generics, async programming, and decorators to build scalable, enterprise-ready applications.

• Coursera
• Self-Paced
• Paid Course
• 3 courses

Pragmatic AI Labs

Design by Provable Contracts

Explore Design by Provable Contracts, climbing a five-rung provability ladder—from lint and types to Lean 4 proofs—applied to softmax, producing machine-checked guarantees for safety-critical numerical kernels.

• Coursera
• 5 weeks, 1 hour a week
• Self-Paced
• Paid Course

TypeScript Crash Course

961 ratings at Udemy

Learn the most important features of TypeScript in a short time and apply them to your projects.

• Udemy
• 3 hours 19 minutes
• Self-Paced
• Paid Course

Institut des Hautes Etudes Scientifiques (IHES)

Types Dépendants et Formalisation des Mathématiques

Découvrez la formalisation des mathématiques via les types dépendants et le lambda-calcul typé pour la vérification de preuves sur ordinateur avec des experts de l'IHES.

• YouTube
• 4 hours 51 minutes
• Self-Paced
• Free Video

TypeScript for developers

681 ratings at Udemy

Use TypeScript like a pro! Quickly learn basic and advanced Typescript and practice it with Node, Express and React!

• Udemy
• 10 hours 50 minutes
• Self-Paced
• Paid Course

Enhance JavaScript with TypeScript's type system for more structured, error-resistant code. Gain skills in type annotations and bug detection, boosting your development efficiency.

• Codecademy
• 2 hours
• Self-Paced
• Free Trial Available

Java Generics In-Depth

524 ratings at Udemy

Master Generics and gain a deep understanding of how to use, read and apply Generics in Java.

• Udemy
• 2 hours 30 minutes
• Self-Paced
• Paid Course

Best practices & advanced TypeScript tips for React devs

504 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
• Self-Paced
• Paid Course

CS 6340: Software Analysis & Testing

This course covers the theory and practice of software analysis, which is at the heart of software development processes such as diagnosing bugs, testing, and debugging.

• Udacity
• 9 hours
• Self-Paced
• Free Online Course

Scala Advanced, Part 1 - The Scala Type System

403 ratings at Udemy

Mutable State, Scala Type System In-Depth, Implicits

• Udemy
• 5 hours 20 minutes
• Self-Paced
• Paid Course

Stanford Seminar - Optional Static Typing for Python

1 rating

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
• Self-Paced
• Free Online 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
• Self-Paced
• Paid Course

Practical Typescript

283 ratings at Udemy

Unleash the Power of TypeScript: Dive into Type Annotations, Generics, React Integration, and Build Modern Apps

• Udemy
• 20 hours 7 minutes
• Self-Paced
• Paid Course