Statistics
Publications
5
Citations
145
H-Index
5
Active since
2012
Affiliations
Sheng Chen is an author at Oregon State University specializing in computing, type checking, and programming languages.
Publications per year
2012–2018
5
5
Counter-factual typing for debugging type errors
Sheng Chen, Martin Erwig · 2014 · 61 citations
Computing, Computer Science, Mistake +12
An error-tolerant type system for variational lambda calculus
Sheng Chen, Martin Erwig, Eric Walkingshaw · 2012 · 41 citations
John Peter Campora, Sheng Chen, Martin Erwig et al. · Proceedings of the ACM on Programming Languages · 2017 · 21 citations · Full text
1–5 of 5