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

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.