Papers & Talks
Here is a list of my papers and talks.
# Technical reports
- Technical report: Type Error Debugging in Hazel (notes)
- Technical report: Polymorphic Type Slicing (notes)
# Workshops
# Decomposable Type Highlighting for Bidirectional Type and Cast Systems[HATRA 2025]
Date: 2025-09-26
Pages: 9.
# Conferences
# Bidirectional Type Slicing[POPL 2027 preprint under review]
Date: 2026-07-09
Pages: 28.
Artifacts / Links: PDF (arXiv), arXiv abstract, PDF (download), Live Build, Hazel Code Branch, Formalism Code, TeX Source
# 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
# Polymorphic Type Slicing[Master's Dissertation]
Date: 2026-05-21
Pages: 62.