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