Pages that link to "Item:Q5096244"
From MaRDI portal
The following pages link to The coherence of languages with intersection types (Q5096244):
Displaying 7 items.
- Proving correctness of a compiler using step-indexed logical relations (Q1744423) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
- (Q4603450) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- Type Inference for Rank 2 Gradual Intersection Types (Q5098736) (← links)
- A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go (Q6065507) (← links)