Sheng Chen

Available identifiers

zbMath Open chen.sheng.4MaRDI QIDQ2819662

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sheng Chen