Pages that link to "Item:Q1908346"
From MaRDI portal
The following pages link to Efficient inference of object types (Q1908346):
Displaying 10 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Type inference in stack based languages (Q684389) (← links)
- Type inference for record concatenation and multiple inheritance (Q808687) (← links)
- LP structures on type lattices and some refactoring problems (Q1040323) (← links)
- Efficient inference of partial types (Q1337466) (← links)
- Efficient static checker for tainted variable attacks (Q1651020) (← links)
- Simplifying subtyping constraints: a theory (Q1854464) (← links)
- Type inference for variant object types (Q1854549) (← links)
- Type inference for record concatenation and subtyping (Q1887147) (← links)
- Erratum to ``Efficient inference of object types'' (Q1917098) (← links)