| The call-by-need lambda calculus, revisited S Chang, M Felleisen Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 55 | 2012 |
| Type systems as macros S Chang, A Knauth, B Greenman Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 32 | 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 | 20 | 2017 |
| 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 | 12 | 2019 |
| Profiling for laziness S Chang, M Felleisen Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 12 | 2014 |
| Evaluating Call-by-need on the Control Stack S Chang, D Van Horn, M Felleisen Trends in Functional Programming: 11th International Symposium, TFP 2010 …, 2011 | 12 | 2011 |
| 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 Programming Languages and Systems: 22nd European Symposium on Programming …, 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 |
| 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 |
| Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers S Chang Springer Nature, 2023 | | 2023 |
| ProofViz: An Interactive Visual Proof Explorer D Melcer, S Chang Trends in Functional Programming: 22nd International Symposium, TFP 2021 …, 2021 | | 2021 |
| COLLEGE OF COMPUTER AND INFORMATION SCIENCE TECHNICAL REPORTS J Schuster, S Chang, M Felleisen | | 2015 |
| Type Tailoring A Wiersdorf, S Chang, M Felleisen, B Greenman | | |
