Pages that link to "Item:Q1110311"
From MaRDI portal
The following pages link to Principal type scheme and unification for intersection type discipline (Q1110311):
Displaying 15 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Type inference, abstract interpretation and strictness analysis (Q1314350) (← links)
- Strong normalization through intersection types and memory (Q1744407) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4611381) (← links)
- Type inference in polymorphic type discipline (Q5096210) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)
