Programming Languages Mind Dump

This is my mind dump, where I keep my practices and notes.

About me

I am a Master's student who is interested in Programming Languages and Mathematics.
I am still very new to research, and I hope to eventually contribute to the programming languages community by developing and exploring the frontier.
Some topics I wish to become better at:
- Programming Languages:
  - Type Theory (Dependent Types, HoTT, Meta Programming)
  - Theorem Provers (Coq, Agda, Pie)
  - Algebraic Effects
- Mathematics:
  - Logic
  - Topology
  - Category Theory
Some other topics I wish to get into:
- Formal Methods
- Relational / Logic Programming

Contact

Feel free to contact me. I hope we can learn from & with each other

yzms [at] cs [dot] toronto [dot] edu