关注
Stephen Chang
Stephen Chang
在 umb.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
The call-by-need lambda calculus, revisited
S Chang, M Felleisen
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
552012
Type systems as macros
S Chang, A Knauth, B Greenman
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
322017
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
202017
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
122019
Profiling for laziness
S Chang, M Felleisen
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
122014
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
122011
Symbolic types for lenient symbolic execution
S Chang, A Knauth, E Torlak
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
82017
Laziness by need
S Chang
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
72013
From Stack Traces to Lazy Rewriting Sequences
S Chang, E Barzilay, J Clements, M Felleisen
Implementation and Application of Functional Languages: 23rd International …, 2012
32012
On the relationship between laziness and strictness
S Chang
Northeastern University, 2014
12014
Stepping Lazy Programs
S Chang, J Clements, E Barzilay, M Felleisen
arXiv preprint arXiv:1108.4706, 2011
12011
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
系统目前无法执行此操作,请稍后再试。
文章 1–17