Pages that link to "Item:Q853737"
From MaRDI portal
The following pages link to Polymorphic typed defunctionalization and concretization (Q853737):
Displaying 12 items.
- Polytypic values possess polykinded types (Q700974) (← links)
- Refunctionalization at work (Q923881) (← links)
- Polymorphic type inference and containment (Q1110312) (← links)
- Corrigendum: Polymorphic type assignment and CPS conversion (Q1426870) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- (Q3416642) (← links)
- From Monomorphic to Polymorphic Well-Typings and Beyond (Q3617436) (← links)
- (Q4495068) (← links)
- (Q4839034) (← links)
- (Q4885989) (← links)
- (Q5101355) (← links)
- Intensional polymorphism in type-erasure semantics (Q5234277) (← links)