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
Description
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
readme.txt
Files
(376.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:dd2d0e0b74f6512ead503246e2c773be
|
376.8 MB | Download |
|
md5:34ec3cd373e2021079a40551a58520cc
|
4.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.22152/programming-journal.org/2024/8/4 (DOI)
- Preprint: 10.48550/arXiv.2306.06391 (DOI)