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.6.242

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

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)
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
Aprende TypeScript desde cero
Instructor JAP Software
JAP Software
1 course
Spanish
Aprende TypeScript desde cero
ONLY
98 left

Aprende TypeScript desde cero

(4.53 with 300 reviews)
17.0K
students
7.0 hours
content
Sep 2025
updated
$14.99$0
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
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 Modularity105 courses
  • Functional Programming108 courses1 live coupon
  • OCaml Programming4 courses
  • Abstract Algebra9 courses
  • Web Development Skills12 courses1 live coupon
  • Julia Programming13 courses
  • Parsing Techniques16 courses
  • Compiler Design21 courses
  • TypeScript Programming22 courses