Type Theory Study Group
An online study group, open to all, dedicated to learning type theory.
The initial plan is to read Bob Harper's Practical Foundations of Programming Languages (2nd Edition). This book is only available as an online draft.
The Type Theory Study Group has a code of conduct. Please contact one of the organizers if anyone is not following it. Be good to each other and to the community!
There is a syllabus with dates for the chapters we're reading.