Type Safety Courses and Certifications

ACM SIGPLAN

Type-Safe Compilation of Dynamic Inheritance via Merging

Explore type-safe compilation techniques for dynamic inheritance in statically typed languages using merge operators and parametric polymorphism.

• YouTube
• 15 minutes
• On-Demand
• Free Video

AWS Events

Creating Full Stack Applications with AWS Amplify Gen 2 and Type Safety

Master building full-stack applications with AWS Amplify Gen2, incorporating type safety, Cognito authorization, and AWS AppSync schema creation for robust cloud-based development.

• YouTube
• 1 hour 16 minutes
• On-Demand
• Free Video

NDC Conferences

Type-Safety in Low-Level Programming - Modern C++ in Game Console Emulators

Explore type-safety in C++ for game console emulation, focusing on the Nintendo 3DS kernel interface and compile-time programming techniques to enhance code reliability and performance.

• YouTube
• 1 hour 4 minutes
• On-Demand
• Conference Talk

Spring I/O

Java Meets TypeScript - Building Modern Web Apps with Full-Stack Type Safety

Explore building modern, reactive web apps with full-stack type safety using Hilla framework, combining Spring Boot backend and Lit-frontend for seamless Java and TypeScript integration.

• YouTube
• 54 minutes
• On-Demand
• Conference Talk

CppNow

Taking Static Type-safety to the Next Level - Physical Units for Matrices

Explore advanced C++ techniques for implementing physical unit types in matrix operations, enhancing type safety and error prevention in robotics, graphics, and automated driving applications.

• YouTube
• 1 hour 31 minutes
• On-Demand
• Conference Talk

RustLab Conference

Rust APIs for Performance and Type Safety - A Case Study

Explore effective Rust patterns for designing low-overhead abstractions, focusing on the Financial Information eXchange protocol and building performant crates with large API surfaces.

• YouTube
• 45 minutes
• On-Demand
• Free Video

Android Developers

Navigation Compose: Type Safety and New APIs

Explore Navigation Compose's new Type Safety feature and type-safe APIs for Android development, covering NavGraphs, arguments, Bottom Nav Bar, and DeepLinks implementation.

• YouTube
• 17 minutes
• On-Demand
• Free Video

React Conferences by GitNation

Fixing React Full-Stack with Zero-Syntax Type Safety

Discover TanStack Start's client-first architecture for full-stack React with zero-syntax type safety, combining SPA speed with server functions for scalable apps.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Learn With Jason

Angular Signal Forms - Auto-Synced State, Type Safety, and Schema-Based Validation

Discover Angular v21's Signal Forms with auto-synced state, type safety, and schema-based validation to simplify complex form building with expert guidance from Alex Rickabaugh.

• YouTube
• 1 hour 33 minutes
• On-Demand
• Free Video

Scala Days Conferences

Type Safety in the World of Graph Databases

Explore type safety in graph databases, focusing on SPARQL, Gremlin, and custom DSLs for efficient data traversal and error prevention in Scala.

• YouTube
• 37 minutes
• On-Demand
• Conference Talk

Scala Days Conferences

Reification and Type-Safety in a CQRS World

Explore reification and type-safety in CQRS applications, focusing on modeling domains as Algebraic Data Types with commands and events. Learn different approaches using type parameters, projections, and path-dependent types.

• YouTube
• 50 minutes
• On-Demand
• Conference Talk

Scala Days Conferences

Doubt Truth to Be a Liar - Non Triviality of Type Safety for Machine Learning

Explore type-safe feature engineering in Scala for machine learning, covering Shapeless, macros, and quasiquotes to enhance ML framework design and model accuracy.

• YouTube
• 52 minutes
• On-Demand
• Conference Talk

EuroPython Conference

Full Stack Type Safety

Explore full-stack type safety in Python web projects, focusing on enforcing consistency between frontend and backend using REST/Swagger and GraphQL. Includes practical demos and discusses various design approaches.

• YouTube
• 27 minutes
• On-Demand
• Conference Talk

JSWORLD Conference

Type-Safety Is Eating the World

Explore type-safety's growing impact with Astro's co-creator, delving into Type-safe Markdown and HoustonAI at JSWorld Conference 2023.

• YouTube
• 22 minutes
• On-Demand
• Conference Talk

ACM SIGPLAN

Improving the Stability of Type Safety Proofs in Dafny

Enhance type soundness proof stability in Dafny using a structured method, demonstrated through a case study and applied to the Cedar language.

• YouTube
• 20 minutes
• On-Demand
• Free Video