Interested in a Type Theory Reading Group?
Please provide us some information so we can gauge interest
*Obligatoire
What is your name/alias?
*
Cette question est obligatoire.
What is your email?
Cette question est obligatoire.
What book are you interested in reading first?
Pierce's Types and Programming Languages
Harper's Practical Foundations for Programming Languages
Autre :
Cette question est obligatoire.
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
Cette question est obligatoire.
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
Cette question est obligatoire.
N'envoyez jamais de mots de passe via Google Forms.
100 % : vous avez réussi.