Pages that link to "Item:Q1887738"
From MaRDI portal
The following pages link to Type error slicing in implicitly typed higher-order languages (Q1887738):
Displayed 4 items.
- Skalpel: a constraint-based type error slicer for standard ML (Q507365) (← links)
- An approach to completing variable names for implicitly typed functional languages (Q526448) (← links)
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)