X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/842b89b2d2d87b57442b14b4fd63477fd234137a..5e6486ca995f68d367af0ea9ea595a12ec8cb308:/static/publications-partial.html?ds=sidebyside
diff --git a/static/publications-partial.html b/static/publications-partial.html
index 0650d32..8d5cf21 100644
--- a/static/publications-partial.html
+++ b/static/publications-partial.html
@@ -2,7 +2,7 @@
-[2]
+[4]
|
Amin Bandali.
@@ -21,7 +21,7 @@
|
-[1]
+[3]
|
Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna.
@@ -35,6 +35,38 @@ Ali Abbassi, Amin Bandali, http |
.pdf ]
+ |
+
+
+
+
+
+[2]
+ |
+
+Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
+ The magic of specifications and type systems.
+ Presented at the 2017 Lassonde Undergraduate Summer Student Research
+ Conference, York University, Toronto, Canada, August 2017.
+[ bib |
+poster ]
+
+ |
+
+
+
+
+
+[1]
+ |
+
+Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
+ The magic of specifications and type systems.
+ Presented at the Canadian Undergraduate Computer Science Conference
+ 2017, University of Toronto, Canada, June 2017.
+[ bib |
+slides ]
+
|
\ No newline at end of file