Tidigare metoder har i allmänhet identifierat platsen för ett typfel som en viss programpunkt eller programdelträdet rotade vid den punkten. Vi presenterar ett nytt tillvägagångssätt som identifierar platsen för ett typfel som en uppsättning programpunkter (en skiva) som alla är nödvändiga för typfelet. Vi identifierar kriterierna för fullständighet och minimalitet för typfelbitar. Vi diskuterar fördelarna med kompletta och minimala typfelskivor jämfört med tidigare metoder för att presentera typfel. Vi presenterar och bevisar riktigheten av algoritmer för att hitta kompletta och minimala typ felbitar för implicit skrivit högre-order språk som Standard ML.
En motstridig uppsättning av typ begränsningar kallas en typ fel skiva REF.
Type error slicing in implicitly typed higher-order languages
{'venue': 'Sci. Comput. Program.', 'journal': None, 'mag_field_of_study': ['Computer Science']}