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.

574 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 574 courses
Filter by
Filters
  2. Level
  3. Duration
  4. Language
    • Udemy
    • 5 hours 20 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 1 hour 59 minutes
    • On-Demand
    • Paid Course
    • Udemy
    • 8 hours 55 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.