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 8 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)
- Pragmatic gradual polymorphism with references (Q6535232) (← links)
- Language transformations in the classroom (Q6643747) (← links)
