Type Theory
Details
For February, we're talking about Type Theory. If you have a recommended paper or resource, please share in the comments.
We'll chat about the topic and discuss our own experiences.
Engineering
Operating Systems
Programming Languages