WeAreDevelopers Logo WeAreDevelopers
Sign in
For You LIVE
World Congress 2026 Europe • Jul 9, 2026 • Session details

Type Systems You Might Not Know (But Will Love)

Veit Heller

Stop limiting your code to the static-versus-dynamic binary. Discover five advanced type paradigms that systematically eliminate entire classes of runtime bugs before your software ever runs.

Type Systems You Might Not Know (But Will Love) thumbnail

Checking access…

Playback and chapters load privately for Free videos.

Matching moments

16:33 min

Exploring practical challenges of strict type systems

Michael Koppmann · LIVE

2:49 min

Introduction to the speakers and the TypeScript problem

Michael Hladky +1 · LIVE

3:48 min

Leveraging static type systems for advanced compiler optimizations

Bjarne Stroustrup · World Congress 2022

5:59 min

Improving long-term code maintainability with explicit data type systems

Marco Otte-Witte · World Congress 2023

10:02 min

Exploring object-oriented syntax features and the type system

Christoph Menzel Christoph Menzel · World Congress 2022

2:28 min

Adding strong type checking and generic programming concepts

Bjarne Stroustrup · World Congress 2022

More from World Congress 2026 Europe

Building the Nervous System of AI - Michael Kagan (NVIDIA) thumbnail
29:17
4 months ago

Building the Nervous System of AI - Michael Kagan (NVIDIA)

Michael Kagan, Sead Ahmetović

Five Things in Tech that Matter Now - WeAreDevelopers World Congress 2026 Closing Keynote thumbnail
19:41
4 months ago

Five Things in Tech that Matter Now - WeAreDevelopers World Congress 2026 Closing Keynote

Christian Heilmann

The Sound of Your Secrets: Teaching Your Model to Spy, So You Can Learn to Defend thumbnail
32:06
4 months ago

The Sound of Your Secrets: Teaching Your Model to Spy, So You Can Learn to Defend

David vonThenen

Super scaling for the Super Bowl: How to survive 30 million users hitting your backend in 30 minutes thumbnail
35:13
4 months ago

Super scaling for the Super Bowl: How to survive 30 million users hitting your backend in 30 minutes

Irina Branovic

Running Secure Life Science Research at Scale using Hybrid GPU HPC and Kubernetes 🧬 thumbnail
24:23
4 months ago

Running Secure Life Science Research at Scale using Hybrid GPU HPC and Kubernetes 🧬

Jeremy Murray

Angstfreude - AI and Corporate Culture - The Thrill and the Threat thumbnail
30:26
4 months ago

Angstfreude - AI and Corporate Culture - The Thrill and the Threat

Axel Ebert, Karin Krobath

Upcoming sessions on this topic

Open session

Beware of Strangers Bearing Code: Open Source Trust in the Agent Era

  • Vikram Vaswani

    Consultant

Open session

How 8 GPUs Became 16: Rethinking LLM Inference Through Parallelism, Memory, and Runtime Design

  • Purnima Kumari

    DigitalOCean

    Sr. Solutions Architect II

Open session

Designing for Every Direction: Logical CSS for Global, Adaptive, and Effortlessly Reversible UIs

  • Vidhya Krishnamoorthy

    Morgan Stanley

    VP, Software Engineering Manager

Open session

Teaching AI Coding Agents to Build It Right the First Time

  • Sajeetharan Sinnathurai

    Microsoft

    Principal Product Manager

Open session

The Meta-Harness: Scaling Agentic Development Beyond the CLI

  • Max Kless

    Nx / Polygraph

    Senior Engineer

Open session

Prompt Debt: Why Your AI System Is Frozen in Time

  • Suriya Prakash B

    Red Hat

    Principal Software Engineer

Related videos

Don't compromise on speedy delivery nor type-safety by choosing TypeScript thumbnail
29:44
World Congress 2023 • about 3 years ago

Don't compromise on speedy delivery nor type-safety by choosing TypeScript

Jens Claes

Lies we Tell Ourselves As Developers thumbnail
31:13
World Congress 2023 • about 3 years ago

Lies we Tell Ourselves As Developers

Stefan Baumgartner

Where we're going we don't need JavaScript - Programming with Type Annotations thumbnail
29:30
World Congress 2022 • over 4 years ago

Where we're going we don't need JavaScript - Programming with Type Annotations

Peter Kröner

The Art and Craft of Type Development thumbnail
43:20
LIVE • almost 6 years ago

The Art and Craft of Type Development

Michael Hladky, Stefan Baumgartner

Building software that scales with Typescript thumbnail
37:18
World Congress 2022 • over 4 years ago

Building software that scales with Typescript

Tal Joffe

Eternal Sunshine of the Spotless Programming Language thumbnail
1:00:08
LIVE • almost 3 years ago

Eternal Sunshine of the Spotless Programming Language

Stefan Baumgartner

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.