The following pages link to Sheng Chen (Q2819662):
Displaying 7 items.
- Type-based parametric analysis of program families (Q2819663) (← links)
- Principal type inference for GADTs (Q2828286) (← 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)
- Counter-factual typing for debugging type errors (Q5408451) (← links)
