Published October 10, 2023 | Version Version 1.0
Software Open

Accepted Artifact for 'The Design Principles of the Elixir Type System'

  • 1. IRIF, Remote
  • 2. CNRS - Université Paris Cité
  • 3. Dashbit


This artifact is a Docker image containing an Elixir typechecker and a web interface to try it out. It is part of an experimental project to endow Elixir with a full gradual type system with set-theoretic types, and validates the theoretical approach developed in the related paper. See readme.txt for more information.



Files (376.8 MB)

Name Size Download all
376.8 MB Download
4.1 kB Preview Download

Additional details

Related works

Is supplement to
Conference paper: 10.22152/ (DOI)
Preprint: 10.48550/arXiv.2306.06391 (DOI)