Winter 2019‐20 Presentation Order and Topics

Jump to bottom

Ghadeer Alkubais edited this page Feb 14, 2020 · 5 revisions

Schedule

Date	Person
Jan 15	Daniel
Jan 22	Parisa
Jan 29	Kai
Feb 5	Divya
Feb 12	Prashant
Feb 19	Jeff
Feb 26	Fariba
Mar 4	Ghadeer
Mar 11	?

Topics

Gradual Typing
- People
  - Parisa
  - Nasrin
  - Fariba
Language Design
- Notation
- People
  - Alex
  - Ghadeer
  - Jeff
  - Qiaoran
  - Prashant
Foundational
- New papers please
- People
  - Daniyal
  - Divya
  - Kai