A Calculus of Inheritance

arXiv:2602.16291 · cs.PL, cs.SE · Submitted 2026-02-18 · Read on arXiv

cs.PL, cs.SE

Submitted: 2026-02-18

Updated: 2026-10-24

Terminology

• Abstraction — 2× in this paper · explained in 1 episode
• Composition — 1× in this paper · explained in 2 episodes

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