Seuraa
Sheng Chen
Sheng Chen
Assistant Professor of Computer Science, University of Louisiana at Lafayette
Vahvistettu sähköpostiosoite verkkotunnuksessa louisiana.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Counter-factual typing for debugging type errors
S Chen, M Erwig
Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014
782014
Extending type inference to variational programs
S Chen, M Erwig, E Walkingshaw
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 1, 2014
622014
An error-tolerant type system for variational lambda calculus
S Chen, M Erwig, E Walkingshaw
ACM SIGPLAN Notices 47 (9), 29-40, 2012
582012
Online Learning from Capricious Data Streams: A Generative Approach
Y He, B Wu, D Wu, E Beyazit, S Chen, X Wu
39*
Toward mining capricious data streams: A generative approach
Y He, B Wu, D Wu, E Beyazit, S Chen, X Wu
IEEE transactions on neural networks and learning systems, 2020
372020
Migrating Gradual Types
JP CAMPORA III, S CHEN, M ERWIG, E WALKINGSHAW
332018
Guided Type Debugging
S Chen, M Erwig
Functional and Logic Programming, 35-51, 2014
312014
Online Learning in Variable Feature Spaces under Incomplete Supervision
Y He, X Yuan, S Chen, X Wu
232021
Optimizing the Product Derivation Process
S Chen, M Erwig
Software Product Line Conference (SPLC), 2011 15th International, 35-44, 2011
232011
A calculus for variational programming
S Chen, M Erwig, E Walkingshaw
LIPIcs-Leibniz International Proceedings in Informatics 56, 2016
202016
Principal type inference for GADTs
S Chen, M Erwig
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
182016
An abstract representation of variational graphs
M Erwig, E Walkingshaw, S Chen
Proceedings of the 5th International Workshop on Feature-Oriented Software …, 2013
182013
Casts and costs: harmonizing safety and performance in gradual typing
JP Campora, S Chen, E Walkingshaw
Proceedings of the ACM on Programming Languages 2 (ICFP), 98, 2018
172018
The function, and dysfunction, of information sources in learning functional programming
C Chambers, S Chen, D Le, C Scaffidi
Journal of Computing Sciences in Colleges 28 (1), 220-226, 2012
172012
Learning user friendly type-error messages
B Wu, JP Campora III, S Chen
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 106, 2017
152017
Let's hear both sides: On combining type-error reporting tools
S Chen, M Erwig, K Smeltzer
Visual Languages and Human-Centric Computing (VL/HCC), 2014 IEEE Symposium …, 2014
152014
Type-based parametric analysis of program families
S Chen, M Erwig
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
142014
How type errors were fixed and what students did?
B Wu, S Chen
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 105, 2017
122017
Systematic identification and communication of type errors
S Chen, M Erwig
Journal of Functional Programming 28, 2018
82018
Better type-error messages through lazy typing
S Chen, M Erwig
Oregon State University, Technical Report, 2014
82014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20