The following pages link to Boxy types (Q5501473):
Displaying 7 items.
- A lean specification for gadts: System F with first-class equality proofs (Q656862) (← links)
- Recasting ML\(^{\text F}\) (Q1023287) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Formal polytypic programs and proofs (Q3070767) (← links)
- Heirs of box types in polynomially bounded structures (Q3655254) (← links)
- Heterogeneous binary random-access lists (Q5110935) (← links)
- Explicit effect subtyping (Q5120231) (← links)