The following pages link to (Q3893285):
Displayed 7 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A characterization of F-complete type assignments (Q1089331) (← links)
- Types with intersection: An introduction (Q1201298) (← links)
- Typing and computational properties of lambda expressions (Q1819575) (← links)
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (Q3522067) (← links)
- Intersection, Universally Quantified, and Reference Types (Q3644750) (← links)
- Type inference for rank-2 intersection types using set unification (Q6109501) (← links)