Collaborated with:Baijun Wu John Peter Campora III M.Erwig E.Walkingshaw Y.He Alexander Schlecht
Talks about:type (4) error (3) learn (2) approach (1) student (1) princip (1) gradual (1) generat (1) specif (1) precis (1)
Person: Sheng Chen 0008
DBLP: 0008:Sheng_Chen
Contributed to:
20172019
20162018Wrote 5 papers:
- OOPSLA-2017-WuC #fault #how #question #student #what
- How type errors were fixed and what students did? (BW, SC0), p. 27.
- OOPSLA-2017-WuCC #error message #learning
- Learning user friendly type-error messages (BW, JPCI, SC0), p. 29.
- OOPSLA-2019-WuCHS0 #approach #fault #generative #learning #precise #specification
- Generating precise error specifications for C: a zero shot learning approach (BW, JPCI, YH, AS, SC0), p. 30.
- POPL-2016-0008E #data type #type inference
- Principal type inference for GADTs (SC0, ME), pp. 416–428.
- POPL-2018-Campora0EW #migration
- Migrating gradual types (JPCI, SC0, ME, EW), p. 29.