Date | Name | Topic |
---|
11/30 | Tony Garnock-Jones and Asumu Takikawa | Pure Pattern Calculus |
11/30 | Jose Falcon | The Lazy Lambda Calculus |
12/03 | Xiaohai Yu and Abishek Samanta | Classes, Mixins, and Traits |
12/03 | Bahar Qarabaqi and Yue Huang | Web concurrency |
12/07 | Peter Golbus and Lazlo Ring | GUI concurrency |