Pages that link to "Item:Q2851085"

The following pages link to On type inference in the intersection type discipline (Q2851085):

Displaying 20 items.

• Discussion on: ``On Aizerman's type problem for neutral type systems'' (Q397433) (← links)
• The correctness of Newman's typability algorithm and some of its extensions (Q549191) (← links)
• On specifications, subset types and interpretation of proposition in type theory (Q688736) (← links)
• On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
• Principal type scheme and unification for intersection type discipline (Q1110311) (← links)
• Combining type disciplines (Q1319505) (← links)
• Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
• Principal types and unification for simple intersection type systems (Q1900315) (← links)
• Towards probabilistic reasoning in type theory -- the intersection type case (Q2206780) (← links)
• Intersection-types à la Church (Q2381503) (← links)
• Polar type inference with intersection types and \(\omega\) (Q2842834) (← links)
• On isomorphisms of intersection types (Q2946613) (← links)
• (Q3105096) (← links)
• The Inhabitation Problem for Non-idempotent Intersection Types (Q3190172) (← links)
• On Isomorphisms of Intersection Types (Q3540197) (← links)
• Untyped Recursion Schemes and Infinite Intersection Types (Q3557861) (← links)
• Type Inference for Rank 2 Gradual Intersection Types (Q5098736) (← links)
• Type Inference for Correspondence Types (Q5170185) (← links)
• Geometry of synthesis III (Q5408555) (← links)