4 <td align=
"right" class=
"bibtexnumber">
5 [
<a name=
"bandali2020">4</a>]
7 <td class=
"bibtexitem">
8 <a href=
"https://bndl.org">Amin Bandali
</a>.
9 A Comprehensive Study of Declarative Modelling Languages.
10 MMath thesis, University of Waterloo, David R. Cheriton School of
11 Computer Science, July
2020.
12 <a href=
"http://hdl.handle.net/10012/16059">http://hdl.handle.net/
10012/
16059</a> and
13 <a href=
"https://bndl.org/mmath">https://bndl.org/mmath
</a>.
14 [
<a href=
"bandali-bib#bandali2020">bib
</a> |
15 <a href=
"http://hdl.handle.net/10012/16059">http
</a> |
16 <a href=
"https://p.bndl.org/bandali-mmath-thesis.pdf">.pdf
</a> ]
23 <td align=
"right" class=
"bibtexnumber">
24 [
<a name=
"DBLP:conf/re/AbbassiBDS18">3</a>]
26 <td class=
"bibtexitem">
27 Ali Abbassi,
<a href=
"https://bndl.org">Amin Bandali
</a>,
<a href=
"https://cs.uwaterloo.ca/~nday/">Nancy
A. Day
</a>, and Jos
é Serna.
28 A comparison of the declarative modelling languages B, Dash, and
30 In Ana Moreira, Gunter Mussbacher, Jo
ão Ara
újo, and Pablo
31 S
ánchez, editors,
<em>8th IEEE International Model-Driven
32 Requirements Engineering Workshop, MoDRE@RE
2018, Banff, AB, Canada, August
33 20,
2018</em>, pages
11–20. IEEE Computer Society,
2018.
34 [
<a href=
"bandali-bib#DBLP:conf/re/AbbassiBDS18">bib
</a> |
35 <a href=
"https://doi.org/10.1109/MoDRE.2018.00008">http
</a> |
36 <a href=
"https://p.bndl.org/modre2018-declarative.pdf">.pdf
</a> ]
43 <td align=
"right" class=
"bibtexnumber">
44 [
<a name=
"bandali-magic-lassonde-2017">2</a>]
46 <td class=
"bibtexitem">
47 <a href=
"https://bndl.org">Amin Bandali
</a>,
<a href=
"https://github.com/cipher1024">Simon Hudon
</a>, and
<a href=
"https://www.eecs.yorku.ca/~jonathan/">Jonathan
S. Ostroff
</a>.
48 The magic of specifications and type systems.
49 Presented at the
2017 Lassonde Undergraduate Summer Student Research
50 Conference, York University, Toronto, Canada, August
2017.
51 [
<a href=
"bandali-bib#bandali-magic-lassonde-2017">bib
</a> |
52 <a href=
"https://p.bndl.org/eecs4080-poster.pdf">poster
</a> ]
59 <td align=
"right" class=
"bibtexnumber">
60 [
<a name=
"bandali-magic-cucsc-2017">1</a>]
62 <td class=
"bibtexitem">
63 <a href=
"https://bndl.org">Amin Bandali
</a>,
<a href=
"https://github.com/cipher1024">Simon Hudon
</a>, and
<a href=
"https://www.eecs.yorku.ca/~jonathan/">Jonathan
S. Ostroff
</a>.
64 The magic of specifications and type systems.
65 Presented at the Canadian Undergraduate Computer Science Conference
66 2017, University of Toronto, Canada, June
2017.
67 [
<a href=
"bandali-bib#bandali-magic-cucsc-2017">bib
</a> |
68 <a href=
"https://p.bndl.org/cucsc-2017-slides.pdf">slides
</a> ]