Pages that link to "Item:Q4327831"
From MaRDI portal
The following pages link to Parametric and type-dependent polymorphism (Q4327831):
Displaying 20 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Functorial polymorphism (Q753948) (← links)
- Core algebra revisited (Q879364) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- Relational limits in general polymorphism (Q1346668) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- Foundations for virtual types (Q1854531) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- (Q3026314) (← links)
- Bunched polymorphism (Q3545274) (← links)
- (Q4495068) (← links)
- Parametric polymorphism and operational equivalence (Q4500171) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- (Q4839034) (← links)
- Types as parameters (Q5044771) (← links)
- Parametric polymorphism for XML (Q5276134) (← links)
- (Q5851864) (← links)
- Types, abstraction, and parametric polymorphism, part 2 (Q6171748) (← links)