add mmath thesis sources

[~bandali/bndl.org] / static / bandali-bib-partial.html

diff --git a/static/bandali-bib-partial.html b/static/bandali-bib-partial.html
index eb58572..390682c 100644 (file)
--- a/static/bandali-bib-partial.html
+++ b/static/bandali-bib-partial.html
@@ -1,4 +1,20 @@
-<h1><a href="bandali.bib">bandali.bib</a></h1><a name="DBLP:conf/re/AbbassiBDS18"></a><pre>
+<h1><a href="bandali.bib">bandali.bib</a></h1><a name="bandali2020"></a><pre>
+@mastersthesis{<a href="publications#bandali2020">bandali2020</a>,
+  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 = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>},
+  note = {\url{http://hdl.handle.net/10012/16059} and
+                  \url{https://bndl.org/mmath}},
+  pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
+}
+</pre>
+
+<a name="DBLP:conf/re/AbbassiBDS18"></a><pre>

 @inproceedings{<a href="publications#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>,
   author = {Ali Abbassi and
                Amin Bandali and
 @inproceedings{<a href="publications#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>,
   author = {Ali Abbassi and
                Amin Bandali and


@@ -40,19 +56,33 @@
 }
 </pre>
 
 }
 </pre>
 

-<a name="bandali2020"></a><pre>
-@mastersthesis{<a href="publications#bandali2020">bandali2020</a>,
-  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 = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>},
-  note = {\url{http://hdl.handle.net/10012/16059} and
-                  \url{https://bndl.org/mmath}},
-  pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
+<a name="bandali-magic-lassonde-2017"></a><pre>
+@misc{<a href="publications#bandali-magic-lassonde-2017">bandali-magic-lassonde-2017</a>,
+  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 = {<a href="https://p.bndl.org/eecs4080-poster.pdf">https://p.bndl.org/eecs4080-poster.pdf</a>}
+}
+</pre>
+
+<a name="bandali-magic-cucsc-2017"></a><pre>
+@misc{<a href="publications#bandali-magic-cucsc-2017">bandali-magic-cucsc-2017</a>,
+  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 = {<a href="https://p.bndl.org/cucsc-2017-slides.pdf">https://p.bndl.org/cucsc-2017-slides.pdf</a>}

 }
 </pre>
 
 }
 </pre>