Notes
A curated set of study notes and reading guides.
Mathematics
Linear algebra, analysis, probability, statistics, and related foundations.
Programming Languages / Type Theory
Semantics, macro systems, implementation models, and language design notes.
Logic / Category Theory
Proof theory, constructive logic, categorical methods, and HoTT.
Selected Supplementary Materials
Reference documents directly related to programming-language study.