Type System

Type systems and type checking

Talks (34)

Talk 30:00 How Elixir Learns Types from Guards

Guillaume Duboc

ElixirConf EU 2026

Keynote 45:00 The Latest on Elixir Types

ElixirConf EU 2026

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

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

Annette Bieniusa , Albert Schimpf

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

Using Livebook to Teach Elixir

Talk 29:00 Using Livebook to Teach Elixir

ElixirConf US 2022

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

Thinking is Greater than Typing

Talk 28:00 Thinking is Greater than Typing

Gig City Elixir 2019

Hype For Types: Using Dialyzer to Bring Type Checking

Talk 30:00 Hype For Types: Using Dialyzer to Bring Type Checking

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