Type systems¶
Cardelli. (1996). Type systems. ACM Computing Surveys.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Type System
- Compositionality means that a type checker can verify an entire program by checking each constituent expression once, propagating types inward and outward through the syntax tree
This sourceEstablishes the modular, syntax-directed character of typing rules: each construct has its own rule, and a whole program's typing is derived from the types of its constituent expressions.
- Compositionality means that a type checker can verify an entire program by checking each constituent expression once, propagating types inward and outward through the syntax tree
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:19963433fe26 · see in the full table