Sheng Chen

Available identifiers

Publication	Date of Publication	Type
Migrating gradual types	2022-11-18	Paper
Systematic identification and communication of type errors	2018-08-03	Paper
Principal type inference for GADTs	2016-10-24	Paper
Type-based parametric analysis of program families	2016-09-29	Paper
Guided Type Debugging	2014-07-24	Paper
An error-tolerant type system for variational lambda calculus	2014-07-21	Paper
Counter-factual typing for debugging type errors	2014-04-10	Paper
On Algebraic Shift Equivalence of Matrices over Polynomial Rings	2007-10-19	Paper
On a Conjecture about the Number of Solutions to Linear Diophantine Equations with a Positive Integer Parameter	2007-09-30	Paper
On Popoviciu type tormulas for generalized restricted partition function	2007-09-22	Paper
On the Ring of Integer-valued Quasi-polynomials	2007-06-28	Paper

This page was built for person: Sheng Chen