The following pages link to (Q4737219):
Displayed 12 items.
- Space-aware ambients and processes (Q875514) (← links)
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- Recasting ML\(^{\text F}\) (Q1023287) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- Strong normalization through intersection types and memory (Q1744407) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Polar Type Inference with Intersection Types and ω (Q2842834) (← links)
- Implementing Compositional Analysis Using Intersection Types With Expansion Variables (Q2842841) (← links)
- Enumerated type semantics for the calculus of looping sequences (Q3006158) (← links)
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (Q3522067) (← links)
- Type Inference for Rank 2 Gradual Intersection Types (Q5098736) (← links)
- Type Disciplines for Analysing Biologically Relevant Properties (Q5179427) (← links)