I am currently a PhD Student at the Department of Computing Science, University of Alberta. Prior to that, I somehow survived the process of obtaining a Bachelors and Masters from the University of Waterloo.
Recent Blog Posts
- STLC as a Pure Type System - September 7, 2019
- Depth-subtyping and Mutation - November 26, 2018
…or you can find more in the archives.