Guided Type Debugging (Q5170701)
From MaRDI portal
scientific article; zbMATH DE number 6320253
Language | Label | Description | Also known as |
---|---|---|---|
English | Guided Type Debugging |
scientific article; zbMATH DE number 6320253 |
Statements
Guided Type Debugging (English)
0 references
24 July 2014
0 references
type debugging
0 references
type inference
0 references
error localization
0 references
type error messages
0 references
choice types
0 references
change suggestions
0 references