Pages that link to "Item:Q4635919"
From MaRDI portal
The following pages link to Trace semantics for polymorphic references (Q4635919):
Displaying 6 items.
- A trace semantics for System F parametric polymorphism (Q1652964) (← links)
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- (Q5089301) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Pragmatic gradual polymorphism with references (Q6535232) (← links)