Pages that link to "Item:Q2985773"

The following pages link to Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) (Q2985773):

Displaying 2 items.

• Improving type error reporting for type classes (Q2163154) (← links)
• Systematic identification and communication of type errors (Q4577823) (← links)