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