Stephen Chang

According to our database, Stephen Chang authored at least 12 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Making Hybrid Languages: A Recipe.

Leif Andersen, Cameron Moy, Stephen Chang, Matthias Felleisen

CoRR, 2024

2021

ProofViz: An Interactive Visual Proof Explorer.

Daniel Melcer, Stephen Chang

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

2020

Dependent type systems as macros.

Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman

Proc. ACM Program. Lang., 2020

2018

Symbolic types for lenient symbolic execution.

Stephen Chang, Alex Knauth, Emina Torlak

Proc. ACM Program. Lang., 2018

2017

Super 8 languages for making movies (functional pearl).

Leif Andersen, Stephen Chang, Matthias Felleisen

Proc. ACM Program. Lang., 2017

Type systems as macros.

Stephen Chang, Alex Knauth, Ben Greenman

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2014

Profiling for laziness.

Stephen Chang, Matthias Felleisen

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Laziness by Need.

Stephen Chang

Proceedings of the Programming Languages and Systems, 2013

2012

The Call-by-Need Lambda Calculus, Revisited.

Stephen Chang, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2012

2011

Stepping Lazy Programs

Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen

CoRR, 2011

From Stack Traces to Lazy Rewriting Sequences.

Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen

Proceedings of the Implementation and Application of Functional Languages, 2011

2010

Evaluating Call-by-Need on the Control Stack.

Stephen Chang, David Van Horn, Matthias Felleisen

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010