What we're about
Let's get together and learn about type theory!
We're a type theory reading group in Sydney, Australia. Inspired by the online type theory study group (https://github.com/type-theory/type-theory-study-group-2015), our focus is type theory with a view towards programming languages.
We're currently reading Simon Thompson's Type Theory and Functional Programming (https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/).
In the past we read much of Bob Harper's "Practical Foundations for Programming Languages", 2nd Edition (http://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf), with some excursions into other topics, including modal type theory and linear types, as well as implementations in Twelf and Idris. Our resident expert is Rowan Davies (http://www.cs.cmu.edu/~rowan/).
Some videos of past sessions are available via the following link, including two catch up sessions (highly recommended for new members):