Sheng Chen
From MaRDI portal
Person:2819662
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Migrating gradual types Journal of Functional Programming | 2022-11-18 | Paper |
| Systematic identification and communication of type errors Journal of Functional Programming | 2018-08-03 | Paper |
| Principal type inference for GADTs Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Type-based parametric analysis of program families Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Guided Type Debugging Functional and Logic Programming | 2014-07-24 | Paper |
| An error-tolerant type system for variational lambda calculus Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Counter-factual typing for debugging type errors Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 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
This page was built for person: Sheng Chen
