ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Mon 4 Sep 2023 14:00 - 14:45 at Adams - Erlang Workshop: Session 2 Chair(s): Kiko Fernandez-Reyes

Erlang is a functional programming language with dynamic typing. The language offers great flexibility for destructing values through pattern matching and dynamic type tests. Erlang also comes with a type language supporting parametric polymorphism, equi-recursive types, as well as union and a limited form of intersection types. However, type signatures only serve as documentation; there is no check that a function body conforms to its signature.

Set-theoretic types and semantic subtyping fit Erlang’s feature set very well. They allow expressing nearly all constructs of its type language and provide means for statically checking type signatures.

This talk explains how set-theoretic types work for Erlang and demonstrates how existing Erlang code can be statically type checked without or with only minor modifications to the code. We are working on an implementation of a type checker and there is an article that provides more details.

this URL might only work when visiting from a https://stefanwehr.de URL.

Mon 4 Sep

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

14:00 - 15:30
Erlang Workshop: Session 2Erlang at Adams
Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden
Invited Talk: Set-theoretic Types for Erlang
Albert Schimpf University of Kaiserslautern-Landau, Stefan Wehr Offenburg University of Applied Sciences, Annette Bieniusa University of Kaiserslautern-Landau
Link to publication DOI Authorizer link Pre-print
Mria: an eventually consistent MnesiaRemote
Dmitrii Fedoseev , Serhii Tupchii EMQ Technologies, Thales Macedo Garitezi EMQ Technologies, Zaiming Shi EMQ Technologies
Lightning Talk: Towards Mailbox Typing for Erlang
Simon Fowler University of Glasgow