Type Theory & Type Systems Courses and Certifications

Mastering TypeScript with Marathon Interview Questions

236 ratings at Udemy

Watch, learn & practice TypeScript basics to advanced concepts & crack any interview!

• Udemy
• 7 hours 36 minutes
• Self-Paced
• Paid Course

Scala Advanced, Part 2 - Best Practices, Async, Serializing

224 ratings at Udemy

Idioms and Patterns, Dependency Injection, XML, JSON, Custom Extractors and Asynchronous Programming with Futures

• Udemy
• 5 hours 42 minutes
• Self-Paced
• Paid Course

Create a Design System with Figma - Full Course

2 ratings

Learn how to build a design system in Figma. By the end of this course you will become a master of building design systems in Figma and understanding master components.

• freeCodeCamp
• 8 hours
• Self-Paced
• Free Video

Hausdorff Center for Mathematics

Refinement Type Systems and Martin Lof Type Theory

Explores refinement type systems, their connection to Martin-Lof type theory, and various notions of comprehension. Discusses recent work on functors as type refinement systems and Isbell duality theorem.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Master Go interfaces syntax and best practices to create modular, flexible code through hands-on projects and practical implementation techniques.

• Codecademy
• 2 hours
• Self-Paced
• Free Trial Available

OCaml

Explore OCaml's powerful type system and multi-paradigm approach. Learn functional, imperative, and object-oriented programming while solving diverse coding challenges.

• Exercism
• Self-Paced
• Free Online Course

Ballerina

Master Ballerina by solving 60 hands-on exercises covering HTTP services, error handling, data formats, algorithms, and more, with expert mentoring to level up your skills.

• Exercism
• Self-Paced
• Free Online Course

Introduction to programming with dependent types in Scala

Explore type theory, dependent types, and theorem proving in Scala. Learn advanced concepts like type families, inductive types, and type-level programming for robust software development.

• Stepik
• Self-Paced
• Free Online Course

Functional Programming with OCaml

Master functional programming with OCaml, covering higher-order functions, type systems, concurrency, and memory safety to build reliable, secure software systems through hands-on projects.

• Swayam
• Self-Paced
• Free Online Course

Career Certificate

TypeScript for Beginners

Master TypeScript fundamentals through hands-on practice with variables, functions, arrays, and control flow while building real projects from scratch.

• Zero To Mastery
• 3 hours
• Self-Paced
• Paid Course

Dive into SAP Commerce Cloud's technical foundations, covering system architecture, data modeling, ImpEx, Flexible Search, services, and facades for comprehensive platform mastery.

• SAP Learning
• 7 hours 53 minutes
• Self-Paced
• Free Online Course

This document will present the Ada language using terminology and examples that are familiar to developers that understand the C++ or Java languages.

• Independent
• Self-Paced
• Free Online Course

Comprehensive exploration of TypeScript, covering advanced concepts, project setup, and best practices for various environments and use cases.

• Independent
• Self-Paced
• Free Online Course

COSC250 - Functional and Reactive Programming

Explore Scala, functional programming, and asynchronous concepts through hands-on projects and practical exercises designed for students with imperative language experience.

• Independent
• Self-Paced
• Free Online Course

Figma Variants – Design a Scalable Mobile App [Full Course]

Master Figma Variants to design scalable mobile apps. Learn frame, autolayout, and component functionalities. Create type systems, color palettes, and various UI elements. Design practical screens for a complete app experience.

• freeCodeCamp
• 4-5 hours
• Self-Paced
• Free Video