Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
cs.PL, cs.LO
Submitted: 2024-08-26
Updated: 2026-10-22
Related papers
- Language-Based Agent Control
- ANEForge: Python for direct computation on the Apple Neural Engine
- CrossTL: Hub-Based Translation of GPU Programs and the Preservation of Source Rules
- Volition Elicitation: Operational Semantics for People and Their Machines
- Griotte: Verified Compartmentalisation via Capabilities
- GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2