Pages that link to "Item:Q1854464"
From MaRDI portal
The following pages link to Simplifying subtyping constraints: a theory (Q1854464):
Displaying 10 items.
- Type inference and strong static type checking for Promela (Q988201) (← links)
- Optimal representations of polymorphic types with subtyping (Q1818009) (← links)
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- A versatile constraint-based type inference system (Q2712585) (← links)
- Simplifying subtyping constraints (Q2817691) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191512) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)