Skip to content

Lemonsity/PL_Mind_Dump

Repository files navigation

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

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published