Type Theory & Type Systems Courses and Certifications

Advanced Functional Programming Techniques

Master advanced functional programming concepts through monads, functors, and type annotations in Python, focusing on practical implementations and design patterns.

• CodeSignal
• 3 hours
• Self-Paced
• Free Certificate

Dart Foundations for Beginners

Discover Dart programming fundamentals through hands-on exercises covering syntax, data types, operators, and control structures while building practical coding skills.

• CodeSignal
• 2 hours
• Self-Paced
• Free Certificate

Practicing String Operations and Type Conversions in TypeScript

Master string operations and type conversions in TypeScript through hands-on practice with real-world implementations, from word manipulation to time parsing and substring handling.

• CodeSignal
• 2 hours
• Self-Paced
• Free Certificate

Foundations of Functions

Master essential Java function concepts including overloading, polymorphism, recursion, and generics through hands-on practice and real-world programming examples.

• CodeSignal
• 3 hours
• Self-Paced
• Free Certificate

Exploring Additional Topics in Functional Programming

Master advanced functional programming concepts through generics, lazy evaluation, design patterns, and error handling techniques in Java.

• CodeSignal
• 3 hours
• Self-Paced
• Free Certificate

Advanced Functional Programming Techniques

Master advanced functional programming concepts through monads, functors, and transformers in C++, focusing on practical implementations and real-world design patterns.

• CodeSignal
• 3 hours
• Self-Paced
• Free Certificate

Career Certificate

Julia Programming for Beginners

Master Julia programming from variables and operators to advanced features like multiple dispatch and functional programming concepts.

• CodeSignal
• 6 hours
• Self-Paced
• Free Certificate
• 5 courses

Julia Types and Multiple Dispatch

Unlock Julia's type system and multiple dispatch to create custom data types, build hierarchies, and write high-performance functions that adapt automatically to different inputs.

• CodeSignal
• 1 hour
• Self-Paced
• Free Certificate

Data Science Decisions in Time: Information Theory & Games

Explore decision-making in dynamic environments through game theory, cooperative games, and opponent prediction. Learn to optimize strategies in complex social interactions and extract relevant features for informed choices.

• Coursera
• 1 day 4 minutes
• Self-Paced
• Paid Course

TypeScript for Professionals - by Basarat

4590 ratings at Udemy

Learn all about the TypeScript type system - taught by a Microsoft MVP

• Udemy
• 3 hours 39 minutes
• Self-Paced
• Paid Course

Go Bootcamp: Master Golang with 1000+ Exercises and Projects

3978 ratings at Udemy

Master and Deeply Understand Google's Go from Scratch with Illustrated In-Depth Tutorials & 1000+ Hands-On Exercises.

• Udemy
• 15 hours 45 minutes
• Self-Paced
• Paid Course

TypeScript Masterclass 2025 Edition - React + NodeJS Project

1202 ratings at Udemy

TypeScript V5 Updated Course - Full Stack Development, TypeScript with ReactJS, ShadcnUI, Node.js, Express and MongoDB.

• Udemy
• 1 day 4 hours 29 minutes
• Self-Paced
• Paid Course

Edureka

Rust Programming Essentials

18 ratings at Coursera

Master Rust programming fundamentals, from memory safety and ownership concepts to advanced features like traits and generics, while building high-performance applications using best practices and tools.

• Coursera
• 12 hours 52 minutes
• Self-Paced
• Paid Course

Edureka Career Certificate

Modern Web Development with TypeScript

6 ratings at Coursera

Master TypeScript fundamentals through advanced OOP concepts to build scalable, type-safe full-stack web applications with React, Node.js, and MongoDB.

• Coursera
• 12 weeks, 5 hours/week
• Self-Paced
• Paid Course
• 4 courses

Edureka

Getting Started with TypeScript

Master TypeScript fundamentals through hands-on coding, exploring type systems, object modeling, functions, and generics to build robust, maintainable applications with confidence.

• Coursera
• 10 hours 10 minutes
• Self-Paced
• Paid Course