Airgapped compiler is real. Kasteran* ? Linear Types in Programming Languages is proof.
Kasteran ? Linear Types in Programming Languages*
The Problem
Linear and affine type systems, rooted in Girard's linear logic, enforce that every value is used exactly once (linear) or at most once (affine). These substructural type systems provide a principled foundation for resource management, memory safety, and effect tracking in programming languages.
What We… See the full description on the dataset page: https://huggingface.co/datasets/Anticloud/article-linear-types.
