Pages that link to "Item:Q5408451"
From MaRDI portal
The following pages link to Counter-factual typing for debugging type errors (Q5408451):
Displaying 8 items.
- A common framework using expected types for several type debugging approaches (Q1648891) (← links)
- Type error slicing in implicitly typed higher-order languages (Q1887738) (← links)
- Improving type error reporting for type classes (Q2163154) (← links)
- Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) (Q2985773) (← links)
- Systematic identification and communication of type errors (Q4577823) (← links)
- Migrating gradual types (Q5051992) (← links)
- An error-tolerant type system for variational lambda calculus (Q5168880) (← links)
- Guided Type Debugging (Q5170701) (← links)