Type System

Type systems and type checking

Talks (54)

Talk 30:00 How Elixir Learns Types from Guards

Guillaume Duboc

ElixirConf EU 2026

The Latest on Elixir Types

Keynote 1:03:00 The Latest on Elixir Types

ElixirConf EU 2026

An OTP Bug That Slept for 16 Years

Lightning Talk 4:00 An OTP Bug That Slept for 16 Years

Code BEAM Europe 2025

Type Safe Code Reloading in EYG

Lightning Talk 4:00 Type Safe Code Reloading in EYG

Code BEAM Europe 2025

Type System and Elixir Updates

Keynote 41:00 Type System and Elixir Updates

ElixirConf EU 2025

What's New in Elixir Types

Talk 23:00 What's New in Elixir Types

Guillaume Duboc

ElixirConf EU 2025

Automating Type-Driven Development with (Co)algebras

Talk 23:00 Automating Type-Driven Development with (Co)algebras

Juan Manuel Serrano Hidalgo

Lambda Days 2025

Explaining Effects and Effect Handlers with EYG

Lightning Talk 6:00 Explaining Effects and Effect Handlers with EYG

Code BEAM Europe 2024

Same same but different: Static type checkers for Erlang

Talk 35:00 Same same but different: Static type checkers for Erlang

Annette Bieniusa , Albert Schimpf

Code BEAM Europe 2024

Scaling Dialyzer

Talk 21:00 Scaling Dialyzer

Code BEAM Europe 2024

Set-theoretic Types: The Theory, The Practice

Talk 39:00 Set-theoretic Types: The Theory, The Practice

Guillaume Duboc

ElixirConf US 2024

Lightning Talk: Elixir v1.17 and Types

Lightning Talk 8:00 Lightning Talk: Elixir v1.17 and Types

ElixirConf EU 2024

Far more than you've ever wanted to know about ADTs

Talk 45:00 Far more than you've ever wanted to know about ADTs

Nicolas Rinaudo

Lambda Days 2024

Gradualize your language with set-theoretic types

Talk 44:00 Gradualize your language with set-theoretic types

Guillaume Duboc

Lambda Days 2024

Imagine a Dependently Typed Python

Talk 22:00 Imagine a Dependently Typed Python

Lambda Days 2024

Keynote: Algebraic Effect Handlers with Parallelizable Computations

Keynote 48:00 Keynote: Algebraic Effect Handlers with Parallelizable Computations

Lambda Days 2024

Modelling Things with Persistent Types

Lightning Talk 6:00 Modelling Things with Persistent Types

Lambda Days 2024

Types and other techniques as an accessibility tool for the ADHD brain

Talk 48:00 Types and other techniques as an accessibility tool for the ADHD brain

Lambda Days 2024

Well-typed Programs Can Go Wrong:(...)Type Checkers in Compilers

Talk 23:00 Well-typed Programs Can Go Wrong:(...)Type Checkers in Compilers

Thodoris Sotiropoulos

Lambda Days 2024

etylizer: Set-theoretic Types for Erlang

Talk 23:00 etylizer: Set-theoretic Types for Erlang

Albert Schimpf , Annette Bieniusa

Code BEAM Europe 2023

How I grew to love Erlang type specs

Talk 19:00 How I grew to love Erlang type specs

Code BEAM Europe 2023

The Design Principles of the Elixir Type System

Talk 39:00 The Design Principles of the Elixir Type System

Guillaume Duboc

Code BEAM Europe 2023

The foundations of the Elixir type system

Keynote 1:12:00 The foundations of the Elixir type system

ElixirConf US 2023

A Hitchhiker's Guide to Linearity

Talk 47:00 A Hitchhiker's Guide to Linearity

Daniel Marshall

Lambda Days 2023

Examples of Easy Dependently Typed Programming (in Idris)

Talk 21:00 Examples of Easy Dependently Typed Programming (in Idris)

Lambda Days 2023

Typing Erlang with eqWAlizer

Talk 27:00 Typing Erlang with eqWAlizer

Ilya Klyuchnikov

Code BEAM Lite Stockholm 2023

Bringing Elixir to Life

Keynote 56:00 Bringing Elixir to Life

ElixirConf EU 2023

Bringing Types to Elixir

Talk 40:00 Bringing Types to Elixir

Giuseppe Castagna , Guillaume Duboc

ElixirConf EU 2023

Using Livebook to Teach Elixir

Talk 29:00 Using Livebook to Teach Elixir

ElixirConf US 2022

Incremental Dialyzer - How we made Dialyzer 3x Faster

Talk 29:00 Incremental Dialyzer - How we made Dialyzer 3x Faster

Code BEAM Europe 2022

Slaying the Type Hydra, or How We Went from 12,000 Dialyzer Errors to None

Talk 45:00 Slaying the Type Hydra, or How We Went from 12,000 Dialyzer Errors to None

Jesper Eskilson

Code BEAM Europe 2022

Working Effectively With Erlang Legacy Code

Talk 39:00 Working Effectively With Erlang Legacy Code

Brujo Benavides

Code BEAM Europe 2022

typed_erlc: Prototype of a safe and fast compiler for Erlang

Talk 39:00 typed_erlc: Prototype of a safe and fast compiler for Erlang

Dmytro Lytovchenko

Code BEAM America 2021

End to End Encryption with Elixir and Beam | Mrinal Wadhwa | Code BEAM V EU 21

Talk 41:00 End to End Encryption with Elixir and Beam | Mrinal Wadhwa | Code BEAM V EU 21

Code BEAM V Europe 2021

The Future of Erlang LS | Roberto Aloi and Andreas Löscher

Talk 34:00 The Future of Erlang LS | Roberto Aloi and Andreas Löscher

Code BEAM V Europe 2021

Dependent Types

Keynote 1:01:00 Dependent Types

Lambda Days 2021

Generating Programs from Types

Talk 50:00 Generating Programs from Types

Nadia Polikarpova

Lambda Days 2021

Keynote: Programming Languages in Agda = Programming Language Properties

Keynote 53:00 Keynote: Programming Languages in Agda = Programming Language Properties

Lambda Days 2021

Secrets of Type Driven Program Synthesis

Talk 50:00 Secrets of Type Driven Program Synthesis

Lambda Days 2021

Types and Erlang: From Dialyzer to...

Talk 40:00 Types and Erlang: From Dialyzer to...

Charlotte Lorelei De Oliveira

ElixirConf EU 2020

Talk Gleam: Lean BEAM typing machine

Code BEAM Lite Berlin 2019

Thinking is Greater than Typing

Talk 28:00 Thinking is Greater than Typing

Gig City Elixir 2019

Introduction to a type system: session types

Talk 28:00 Introduction to a type system: session types

Charlotte Lorelei De Oliveira

Code BEAM STO 2019

What does Dialyzer think about me?

Talk 25:00 What does Dialyzer think about me?

Code BEAM STO 2019

Talk 25:00 Casting against type(s)

Code BEAM SF 2019

Chemanalysis: Dialyzing Elixir

Talk 38:00 Chemanalysis: Dialyzing Elixir

Code BEAM SF 2019

Types in Erlang - a shallow dive

Talk 8:00 Types in Erlang - a shallow dive

Code BEAM Lite Amsterdam 2018

Hype For Types - Using Dialyzer to Bring Type Checking to Your Elixir Code

Talk 29:00 Hype For Types - Using Dialyzer to Bring Type Checking to Your Elixir Code

Emma Cunningham

Code BEAM SF 2018

Typespec, For the Love of God!

Lightning Talk 4:00 Typespec, For the Love of God!

ElixirConf US 2017

C Preprocessor Macros from Functional Programs

Talk 23:00 C Preprocessor Macros from Functional Programs

Boldizsár Németh

Lambda Days 2016

Getting Started with Frege

Talk 48:00 Getting Started with Frege

Lambda Days 2016

History and Philosophy of Types

Talk 47:00 History and Philosophy of Types

Tomáš Petříček

Lambda Days 2016

Propositions as Types

Keynote 57:00 Propositions as Types

Lambda Days 2016

Truth about Types

Keynote 1:12:00 Truth about Types

Bartosz Milewski

Lambda Days 2016