AI & Computingarticle2026-08-21

Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study Appendix

Open access1 citations

Abstract

The appendix for the Erlang '26 paper: Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study

// Source

View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-21

Authors: A Schimpf, Stefan Wehr, Annette Bieniusa

Institutions: Offenburg University of Applied Sciences