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 24 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- Principal type schemes for an extended type theory (Q790801) (← 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)
- The converse principal type-scheme theorem in lambda calculus (Q1194107) (← 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)
- Principal types and unification for simple intersection type systems (Q1900315) (← links)
- On type inference in the intersection type discipline (Q2851085) (← links)
- Principal type-schemes and condensed detachment (Q3489979) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS (Q3988840) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4611381) (← links)
- Principal Typing in a ∀Λ-Discipline (Q4835538) (← links)
- Type inference in polymorphic type discipline (Q5096210) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)
- Principal Type Schemes for Modular Programs (Q5756513) (← links)
- Characterization of the principal type of normal forms in an intersection type system (Q6567783) (← links)
