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

Independent coupon discovery for Udemy learners

Course topic

  1. Topics
  2. Development
  3. Type Theory

Type Theory

Also indexed asType Systems · Programming Language Theory · Semantics

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

Courses indexed
6
Live offers
0
Free & coupon courses onlyChange view
Aprende TypeScript desde cero
Instructor JAP Software
JAP Software
1 course
Spanish
Aprende TypeScript desde cero

Aprende TypeScript desde cero

(4.51 with 297 reviews)
16.9K
students
7.0 hours
content
Sep 2025
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

  • 01Functions and Modularity88
  • 02Functional Programming96
  • 03Abstract Algebra6
  • 04Julia Programming11
  • 05Parsing Techniques13
  • 06Compiler Design18
  • 07Finite State Machines26
  • 08Programming Syntax32
  • 09Code Optimization47
  • 10Mathematical Logic60