Counter-factual typing for debugging type errors (Q5408451)
From MaRDI portal
scientific article; zbMATH DE number 6282453
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Counter-factual typing for debugging type errors |
scientific article; zbMATH DE number 6282453 |
Statements
Counter-factual typing for debugging type errors (English)
0 references
10 April 2014
0 references
change suggestions
0 references
choice types
0 references
error localization
0 references
type error messages
0 references
type inference
0 references
type-error debugging
0 references
