Pages that link to "Item:Q5348926"
From MaRDI portal
The following pages link to Stratified type inference for generalized algebraic data types (Q5348926):
Displaying 7 items.
- A lean specification for gadts: System F with first-class equality proofs (Q656862) (← links)
- Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language (Q724927) (← links)
- Recasting ML\(^{\text F}\) (Q1023287) (← links)
- Ambivalent Types for Principal Type Inference with GADTs (Q2937793) (← links)
- Type directed compilation of row-typed algebraic effects (Q5370883) (← links)
- The essence of ornaments (Q5372005) (← links)
- GADTs, functoriality, parametricity: pick two (Q6661153) (← links)