[2408.14345] Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
![[2408.14345] Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir](/static/img/curated/desks/afbytes-us.png)
AI disclosure
Summary
Abstract page for arXiv paper 2408.14345: Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir