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.

ChromeFirefoxEdgeSafari

Useful links

Discover

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

Services

  • Pricing
  • Advertise Here
  • Developer API
  • Submit Coupon

Comidoc

  • About
  • Contact
  • Data License
  • Privacy
  • Service status
  • Terms

© 2017–2026 Comidoc

v6.7.85

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
1

Catalog controls

Aprende TypeScript desde cero
Instructor JAP Software
JAP Software
1 course
Spanish
Aprende TypeScript desde cero
ONLY
91 left

Aprende TypeScript desde cero

(4.50 with 301 reviews)
17.1K
students
7.0 hours
content
Sep 2025
updated
$14.99$0
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.45 with 101 reviews)
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)
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)
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
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
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
Filters

7

Results

1

Live offers

Price & availability

Course Type

Sort by

Last Course Update

Only < 1 year

Level

Duration

Rating

Languages

Filters

7

Results

16.4K
students
4.5 hours
content
Jul 2026
updated
$14.99
23
students
3.2 hours
content
Oct 2021
updated
$14.99
2.4K
students
5.3 hours
content
Jan 2026
updated
$14.99
4.9 hours
content
Jul 2025
updated
$14.99
updated
$14.99
students
9.0 hours
content
Nov 2025
updated
$14.99

Continue exploring

Topics related to Type Theory

  • Functions and Modularity117 courses
  • Functional Programming130 courses1 live coupon
  • OCaml Programming4 courses
  • Abstract Algebra14 courses
  • Julia Programming17 courses
  • Parsing Techniques20 courses
  • Web Development Skills20 courses
  • Compiler Design24 courses