| The call-by-need lambda calculus, revisited S Chang, M Felleisen European Symposium on Programming, 128-147, 2012 | 56 | 2012 |
| Type systems as macros S Chang, A Knauth, B Greenman Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 34 | 2017 |
| Super 8 languages for making movies (functional pearl) L Andersen, S Chang, M Felleisen Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 21 | 2017 |
| Evaluating call-by-need on the control stack S Chang, D Van Horn, M Felleisen International Symposium on Trends in Functional Programming, 1-15, 2010 | 14 | 2010 |
| Dependent type systems as macros S Chang, M Ballantyne, M Turner, WJ Bowman Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 13 | 2019 |
| Profiling for laziness S Chang, M Felleisen Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 12 | 2014 |
| Symbolic types for lenient symbolic execution S Chang, A Knauth, E Torlak Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 8 | 2017 |
| Laziness by need S Chang European Symposium on Programming, 81-100, 2013 | 7 | 2013 |
| From Stack Traces to Lazy Rewriting Sequences S Chang, E Barzilay, J Clements, M Felleisen Implementation and Application of Functional Languages: 23rd International …, 2012 | 3 | 2012 |
| Type Tailoring A Wiersdorf, S Chang, M Felleisen, B Greenman 38th European Conference on Object-Oriented Programming (ECOOP 2024), 44: 1 …, 2024 | 1 | 2024 |
| Trends in Functional Programming S Chang | 1 | 2023 |
| On the relationship between laziness and strictness S Chang Northeastern University, 2014 | 1 | 2014 |
| Stepping Lazy Programs S Chang, J Clements, E Barzilay, M Felleisen arXiv preprint arXiv:1108.4706, 2011 | 1 | 2011 |
| Type Tailoring B Greenman, S Chang, M Felleisen Unpublished manuscript, 0 | 1 | |
| Making Hybrid Languages: A Recipe L Andersen, C Moy, S Chang, M Felleisen arXiv preprint arXiv:2403.01335, 2024 | | 2024 |
| Type Tailoring (Artifact) A Wiersdorf, S Chang, M Felleisen, B Greenman Dagstuhl Artifacts Series 10 (2), 24: 1-24: 2, 2024 | | 2024 |
| ProofViz: An Interactive Visual Proof Explorer D Melcer, S Chang International Symposium on Trends in Functional Programming, 116-135, 2021 | | 2021 |
| COLLEGE OF COMPUTER AND INFORMATION SCIENCE TECHNICAL REPORTS J Schuster, S Chang, M Felleisen | | 2015 |
