@misc{indiciae7566b8657768,
  title = {Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir},
  author = {Giuseppe Castagna and Guillaume Duboc},
  year = {2026},
  url = {https://arxiv.org/abs/2408.14345},
  note = {Source identifier: 2408.14345}
}