Pages that link to "Item:Q1426870"
From MaRDI portal
The following pages link to Corrigendum: Polymorphic type assignment and CPS conversion (Q1426870):
Displaying 7 items.
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- Types for modules (Q2375744) (← links)
- Domain-free \(\lambda\mu\)-calculus (Q2729625) (← links)
- (Q4222932) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)