Pages that link to "Item:Q526459"
From MaRDI portal
The following pages link to Graphical and incremental type inference. A graph transformation approach (Q526459):
Displaying 5 items.
- A general framework for types in graph rewriting (Q2581012) (← links)
- Transformation of typed composite graphs with inheritance and containment structures (Q2898466) (← links)
- (Q4472460) (← links)
- From ML to ML <sup>F</sup> (Q5178756) (← links)
- Simple type inference for term graph rewriting systems (Q5881175) (← links)