Stephen Chang

Orcid: 0000-0002-4760-0658

Affiliations:
  • University of Massachusetts Boston, MA, USA
  • Northeastern University, Boston, MA, USA (until 2020)


According to our database1, Stephen Chang authored at least 14 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Type Tailoring (Artifact).
Dagstuhl Artifacts Ser., 2024

Making Hybrid Languages: A Recipe.
CoRR, 2024

Type Tailoring.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2021
ProofViz: An Interactive Visual Proof Explorer.
Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

2020
Dependent type systems as macros.
Proc. ACM Program. Lang., 2020

2018
Symbolic types for lenient symbolic execution.
Proc. ACM Program. Lang., 2018

2017
Super 8 languages for making movies (functional pearl).
Proc. ACM Program. Lang., 2017

Type systems as macros.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

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

2013
Laziness by Need.
Proceedings of the Programming Languages and Systems, 2013

2012
The Call-by-Need Lambda Calculus, Revisited.
Proceedings of the Programming Languages and Systems, 2012

2011
Stepping Lazy Programs
CoRR, 2011

From Stack Traces to Lazy Rewriting Sequences.
Proceedings of the Implementation and Application of Functional Languages, 2011

2010
Evaluating Call-by-Need on the Control Stack.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010


  Loading...