Free Online

Type System Courses and Certifications

Master type theory fundamentals and advanced type systems for safer, more robust software design in languages like Scala, TypeScript, and Java. Explore practical applications through academic talks on YouTube and hands-on courses on Coursera and Udemy, covering generics, effect systems, and verification techniques.

576 courses
Related Subjects
  1. Programming Languages Courses
  2. Software Engineering Courses
  3. Compiler Design Courses
  4. Static Analysis Courses
  5. Data Structures Courses
  6. Functional Programming Courses
  7. Object-oriented programming Courses
  8. Type Theory Courses
Showing 576 courses
Filter by
Filters
  2. Level
  3. Duration
  4. Language
    • Udemy
    • 10 hours 50 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 2 hours 30 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 3 hours 33 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 9 hours 53 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 20 hours 7 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 7 hours 36 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 5 hours 42 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 12 hours 43 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 8 hours 47 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 5 hours 19 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 21 hours 5 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 3 hours 36 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 4 hours 46 minutes
    • On-Demand
    • Paid Course

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.