@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},
  url          = {https://kelar.org/~bandali/talks/magic.html},
  poster       = {https://kelar.org/~bandali/talks/magic-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},
  url          = {https://kelar.org/~bandali/talks/magic.html},
  slides       = {https://kelar.org/~bandali/talks/magic-cucsc-2017-slides.pdf}
}