Stephen Chang

21 papers A* 2A 3Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mixing Visual and Textual Code.
CoRR
Leif Andersen, Michael Ballantyne, Cameron Moy, Matthias Felleisen, Stephen Chang
2025 — ed.
Trends in Functional Programming - 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
TFP
Jason Hemann, Stephen Chang
2024 J jnl
Making Hybrid Languages: A Recipe.
CoRR
Leif Andersen, Cameron Moy, Stephen Chang, Matthias Felleisen
2024 — ed.
Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education, TFPIE 2024, South Orange, New Jersey, USA, 9th January 2024.
TFPIE
Stephen Chang
2024 J jnl
Type Tailoring (Artifact).
Dagstuhl Artifacts Ser.
Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman
2024 A conf
Type Tailoring.
ECOOP
Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman
2023 — ed.
Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
TFP
Stephen Chang
2021 J jnl
Dependent Type Systems as Macros.
CoRR
Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
2021 — conf
ProofViz: An Interactive Visual Proof Explorer.
TFP
Daniel Melcer, Stephen Chang
2020 J jnl
Dependent type systems as macros.
Proc. ACM Program. Lang.
Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
2018 J jnl
Symbolic types for lenient symbolic execution.
Proc. ACM Program. Lang.
Stephen Chang, Alex Knauth, Emina Torlak
2017 J jnl
Super 8 languages for making movies (functional pearl).
Proc. ACM Program. Lang.
Leif Andersen, Stephen Chang, Matthias Felleisen
2017 A* conf
Type systems as macros.
POPL
Stephen Chang, Alex Knauth, Ben Greenman
2014 A* conf
Profiling for laziness.
POPL
Stephen Chang, Matthias Felleisen
2013 A conf
Laziness by Need.
ESOP
Stephen Chang
2012 A conf
The Call-by-Need Lambda Calculus, Revisited.
ESOP
Stephen Chang, Matthias Felleisen
2012 J jnl
The Call-by-need Lambda Calculus, Revisited
CoRR
Stephen Chang, Matthias Felleisen
2011 — conf
From Stack Traces to Lazy Rewriting Sequences.
IFL
Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
2011 J jnl
Stepping Lazy Programs
CoRR
Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen
2010 J jnl
Evaluating Call-By-Need on the Control Stack
CoRR
Stephen Chang, David Van Horn, Matthias Felleisen
2010 — conf
Evaluating Call-by-Need on the Control Stack.
Trends in Functional Programming
Stephen Chang, David Van Horn, Matthias Felleisen