Interested in a Type Theory Reading Group?
Please provide us some information so we can gauge interest
* Required
What is your name/alias?
*
This is a required question
What is your email?
This is a required question
What book are you interested in reading first?
Pierce's Types and Programming Languages
Harper's Practical Foundations for Programming Languages
Other:
This is a required question
What time/effort commitment do you expect you can make?
Weekly meetings
Co-contribution to a group study guide
Completing the exercises
Tutoring others
Participating in conversations aside from the main threads
Reading a chapter every week
Reading a chapter every two weeks
Reading a chapter every month
This is a required question
What communication tools do you think are essential for a good study group?
LaTeX
Collaborative editing of a document
Live chat
Mailing lists
Discussion boards
Dedicated discussion boards
This is a required question
Never submit passwords through Google Forms.
100%: You made it.