Fingerprint
Dive into the research topics where Stephen Chang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Type Tailoring
Wiersdorf, A., Chang, S., Felleisen, M. & Greenman, B., Sep 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
ProofViz: An Interactive Visual Proof Explorer
Melcer, D. & Chang, S., 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 116-135 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12834 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Dependent type systems as macros
Chang, S., Ballantyne, M., Turner, M. & Bowman, W. J., Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 3.Research output: Contribution to journal › Article › peer-review
Open Access