COMIDOC
CouponsFreeTopics
COMIDOC
CouponsVerified CouponsFreeFree CoursesTopicsTopics
React
AdvertiseSubmit Course

About

Udemy coupons monitored continuously.

Verified offers, course alerts, precise filters, and browser detection built for learners who want coupons that still work.

TelegramTwitterFacebookRSS

Browser tools

Find coupons directly on Udemy.

The extension surfaces an available Comidoc coupon while you browse a Udemy course page.

ChromeFirefoxEdge

Useful links

Discover

  • Blog
  • Daily Freebies
  • Most Wanted Coupons
  • Top Contributors
  • Udemy Sale Calendar

Services

  • Pricing
  • Advertise Here
  • Developer API
  • Submit Coupon

Comidoc

  • About
  • Contact
  • Data License
  • Privacy
  • Terms

© 2017–2026 Comidoc

v6.6.142

Independent coupon discovery for Udemy learners

Course topic

Type Theory

  1. Topics
  2. Development
  3. Type Theory
Also indexed asType Systems · Programming Language Theory · Semantics

Learn the principles of type systems, essential for modern programming language design.

  1. Topics
  2. Development
  3. Type Theory
Also indexed asType Systems · Programming Language Theory · Semantics
Courses indexed
7
Live offers
0

Catalog controls

Aprende TypeScript desde cero
Instructor JAP Software
JAP Software
1 course
Spanish
Aprende TypeScript desde cero

Aprende TypeScript desde cero

(4.52 with 299 reviews)
16.9K
students
Filters

7

Results

Price & availability

Course Type

Sort by

Last Course Update

Only < 1 year

Level

Duration

Rating

Languages

Filters

7

Results

7.0 hours
content
Sep 2025
updated
$12.99
Belajar TypeScript Level Dasar dari Nol hingga Mahir (Bisa!)
Instructor Jubilee Enterprise
Jubilee Enterprise
1 course
Indonesian
Belajar TypeScript Level Dasar dari Nol hingga Mahir (Bisa!)

Belajar TypeScript Level Dasar dari Nol hingga Mahir (Bisa!)

(4.36 with 7 reviews)
23
students
3.2 hours
content
Oct 2021
updated
$14.99
Julia Programming: From First Principles to Production
Instructor ProgLang MainSt.
ProgLang MainSt.
1 course
English
Julia Programming: From First Principles to Production

Julia Programming: From First Principles to Production

(4.33 with 94 reviews)
16.2K
students
4.5 hours
content
Jul 2026
updated
$14.99
The Ultimate : Compiler Design for 2026 - Module - 2
Instructor Atchyut Kumar
Atchyut Kumar
1 course
English
The Ultimate : Compiler Design for 2026 - Module - 2

The Ultimate : Compiler Design for 2026 - Module - 2

(4.41 with 81 reviews)
2.4K
students
5.3 hours
content
Jan 2026
updated
$14.99
Jump-Start your OCaml experience
Instructor A Rezika
A Rezika
1 course
English
Jump-Start your OCaml experience

Jump-Start your OCaml experience

(4.00 with 16 reviews)
92
students
4.9 hours
content
Jul 2025
updated
$14.99
Theory of Computation in Tamil
Instructor Dr.Deeba K
Dr.Deeba K
1 course
English
Theory of Computation in Tamil

Theory of Computation in Tamil

109
students
9.7 hours
content
Oct 2025
updated
$14.99
Mastering Category Theory: Foundations to Advanced Topics
Instructor Science and Math Academy
Science and Math Academy
1 course
English
Mastering Category Theory: Foundations to Advanced Topics

Mastering Category Theory: Foundations to Advanced Topics

425
students
9.0 hours
content
Nov 2025
updated
$14.99

Continue exploring

Topics related to Type Theory

  • Functions and Modularity102 courses2 live coupons
  • Functional Programming104 courses1 live coupon
  • Web Development Skills8 courses
  • Abstract Algebra8 courses
  • Julia Programming12 courses
  • TypeScript Programming14 courses
  • Parsing Techniques16 courses
  • Compiler Design21 courses