Evaluating Call-by-Need on the Control Stack. - Stephen Chang 001; David Van Horn; Matthias Felleisen (Trends in Functional Programming, 2010)

From Stack Traces to Lazy Rewriting Sequences. - Stephen Chang 001; Eli Barzilay; John Clements; Matthias Felleisen (IFL, 2011)

Stepping Lazy Programs - Stephen Chang 001; John Clements; Eli Barzilay; Matthias Felleisen (CoRR, 2011)

The Call-by-Need Lambda Calculus, Revisited. - Stephen Chang 001; Matthias Felleisen (ESOP, 2012)

Laziness by Need. - Stephen Chang 001 (ESOP, 2013)

Profiling for laziness. - Stephen Chang 001; Matthias Felleisen (POPL, 2014)

Type systems as macros. - Stephen Chang 001; Alex Knauth; Ben Greenman (POPL, 2017)

Super 8 languages for making movies (functional pearl). - Leif Andersen; Stephen Chang 001; Matthias Felleisen (Proc. ACM Program. Lang., 2017)

Symbolic types for lenient symbolic execution. - Stephen Chang 001; Alex Knauth; Emina Torlak (Proc. ACM Program. Lang., 2018)

Dependent type systems as macros. - Stephen Chang 001; Michael Ballantyne; Milo Turner; William J. Bowman (Proc. ACM Program. Lang., 2020)

ProofViz: An Interactive Visual Proof Explorer. - Daniel Melcer; Stephen Chang 001 (TFP, 2021)

Type Tailoring. - Ashton Wiersdorf; Stephen Chang 001; Matthias Felleisen; Ben Greenman (ECOOP, 2024)

Making Hybrid Languages: A Recipe. - Leif Andersen; Cameron Moy; Stephen Chang 001; Matthias Felleisen (CoRR, 2024)

Type Tailoring (Artifact). - Ashton Wiersdorf; Stephen Chang 001; Matthias Felleisen; Ben Greenman (Dagstuhl Artifacts Ser., 2024)