projects
/
~bandali
/
bndl.org
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
some small tweaks
[~bandali/bndl.org]
/
bandali-cv.txt
diff --git
a/bandali-cv.txt
b/bandali-cv.txt
index
2195709
..
97e87d4
100644
(file)
--- a/
bandali-cv.txt
+++ b/
bandali-cv.txt
@@
-95,9
+95,9
@@
PUBLICATIONS & PRESENTATIONS
MMath Thesis, University of Waterloo, David R. Cheriton
School of Computer Science, July 2020.
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
hdl: https://hdl.handle.net/10012/16059
- http: https://bndl.org/mmath
+ http: https://bndl.org/mmath
/
TALKS
TALKS
@@
-109,7
+109,7
@@
PUBLICATIONS & PRESENTATIONS
slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
slides with notes:
https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
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
The Magic of Specifications and Type Systems