Paper Reading

Date         Speaker                      Paper
Aug. 6 Tomas Tauber In Search of Types
Jun. 18 Linus Yang Fun with phantom types