Papers & Talks
Here is a list of my papers and talks.
# Workshops
# Decomposable Type Highlighting for Bidirectional Type and Cast Systems[HATRA 2025]
Date: 2025-09-26
Pages: 9.
Artifacts / Links: PDF (download), Hazel Website
# Other
# Type Error Debugging in Hazel[Undergraduate Dissertation]
Date: 2025-05-12
Pages: 78.
Artifacts / Links: PDF (download), Online Interpreter, Hazel Website, Dissertation Source Code, Source code