Pages that link to "Item:Q1605176"
From MaRDI portal
The following pages link to Polymorphic lambda calculus and subtyping. (Q1605176):
Displaying 10 items.
- Polymorphic subtyping in O'Haskell (Q700972) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- An extension of system \(F\) with subtyping (Q1322473) (← links)
- Type destructors (Q1854494) (← links)
- Positive subtyping (Q1917089) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday (Q2026790) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- CPO-models for second order lambda calculus with recursive types and subtyping (Q3142273) (← links)
- An extension of system F with subtyping (Q5096247) (← links)