Pages that link to "Item:Q1426870"
From MaRDI portal
The following pages link to Corrigendum: Polymorphic type assignment and CPS conversion (Q1426870):
Displayed 5 items.
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- Types for modules (Q2375744) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- (Q4222932) (← links)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)