X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/6486444748489166fe12cbaa624614bf7d0a4928..ea39cfbe2bcedcc63c7d14bb0643064c5399e7a1:/static/bandali-bib-partial.html?ds=sidebyside diff --git a/static/bandali-bib-partial.html b/static/bandali-bib-partial.html index eb58572..390682c 100644 --- a/static/bandali-bib-partial.html +++ b/static/bandali-bib-partial.html @@ -1,4 +1,20 @@ -
+bandali.bib
+@mastersthesis{bandali2020, + type = {{MMath} thesis}, + author = {Amin Bandali}, + title = {{A Comprehensive Study of Declarative Modelling Languages}}, + school = {University of Waterloo, David R. Cheriton School of Computer Science}, + year = 2020, + month = {July}, + publisher = {UWSpace}, + url = {http://hdl.handle.net/10012/16059}, + note = {\url{http://hdl.handle.net/10012/16059} and + \url{https://bndl.org/mmath}}, + pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf} +} ++ +@inproceedings{DBLP:conf/re/AbbassiBDS18, author = {Ali Abbassi and Amin Bandali and @@ -40,19 +56,33 @@ }--@mastersthesis{bandali2020, - type = {{MMath} thesis}, - author = {Amin Bandali}, - title = {{A Comprehensive Study of Declarative Modelling Languages}}, - school = {University of Waterloo, David R. Cheriton School of Computer Science}, - year = 2020, - month = {July}, - publisher = {UWSpace}, - url = {http://hdl.handle.net/10012/16059}, - note = {\url{http://hdl.handle.net/10012/16059} and - \url{https://bndl.org/mmath}}, - pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf} ++@misc{bandali-magic-lassonde-2017, + author = {Amin Bandali and + Simon Hudon and + Jonathan S. Ostroff}, + title = {The Magic of Specifications and Type Systems}, + year = 2017, + month = {August}, + howpublished = {Presented at the 2017 Lassonde Undergraduate Summer + Student Research Conference, York University, + Toronto, Canada}, + poster = {https://p.bndl.org/eecs4080-poster.pdf} +} ++ ++@misc{bandali-magic-cucsc-2017, + author = {Amin Bandali and + Simon Hudon and + Jonathan S. Ostroff}, + title = {The Magic of Specifications and Type Systems}, + year = 2017, + month = {June}, + howpublished = {Presented at the Canadian Undergraduate Computer + Science Conference 2017, University of Toronto, + Canada}, + slides = {https://p.bndl.org/cucsc-2017-slides.pdf} }