MMath Thesis, University of Waterloo, David R. Cheriton
School of Computer Science, July 2020.
- pdf: https://p.bndl.org/bandali-mmath-thesis.pdf
+ pdf: https://bndl.org/mmath/bandali-mmath-thesis.pdf
hdl: https://hdl.handle.net/10012/16059
- http: https://bndl.org/mmath
+ http: https://bndl.org/mmath/
TALKS
slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
slides with notes:
https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
- http: https://bndl.org/libreplanet-2021
+ http: https://bndl.org/2021/03/20/libreplanet-2021.html
The Magic of Specifications and Type Systems