Pages that link to "Item:Q2828289"
From MaRDI portal
The following pages link to The gradualizer: a methodology and algorithm for generating gradual type systems (Q2828289):
Displaying 6 items.
- System description: lang-n-change -- a tool for transforming languages (Q2039949) (← links)
- Gradual typing using union typing with records (Q2133461) (← links)
- The Recursive Union of Some Gradual Types (Q3188297) (← links)
- Gradual type theory (Q5019016) (← links)
- Migrating gradual types (Q5051992) (← links)
- Type Inference for Rank 2 Gradual Intersection Types (Q5098736) (← links)
