ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Mon 4 Sep 2023 12:15 - 12:30 at Adams - Erlang Workshop: Session 1 Chair(s): Kiko Fernandez-Reyes

Dialyzer is a controversial tool among Elixir developers, especially for large pre-existing projects. Luckily, there are ways to make the transition to type-checked Elixir code much easier on everyone involved!

I’m currently a senior backend engineer for a medium-sized EV charging startup. I specialize in building Elixir backends and APIs (of the REST, GraphQL, and RPC varieties). I live in the Seattle, WA area.

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30
Erlang Workshop: Session 1Erlang at Adams
Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden
11:00
45m
Talk
Invited Talk: A Type System for Elixir
Erlang
Giuseppe Castagna CNRS; Université Paris Cité, Guillaume Duboc ENS Lyon, José Valim Dashbit
Pre-print
11:45
30m
Talk
A semantics of Core Erlang with handling of signals
Erlang
Aurélie Kong Win Chang Univ. Grenoble Alpes, Inria, Jerome Feret INRIA Paris, Gregor Goessler INRIA
12:15
15m
Talk
Lightning Talk: How To Add Dialyzer To An Existing Elixir Project Without Your Colleagues Hating You
Erlang
Noah Betzen Lightning Talk Speaker