Pages that link to "Item:Q3988831"
From MaRDI portal
The following pages link to FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES (Q3988831):
Displaying 4 items.
- Adequacy for a lazy functional language with recursive and polymorphic types (Q1349683) (← links)
- (Q4206095) (← links)
- Labelled reductions, runtime errors, and operational subsumption (Q4572006) (← links)
- Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884) (← links)