@phdthesis{basesearch-10364,
  title = {C∀ Type System Implementation},
  author = {Aaron Moss},
  year = {2019},
  url = {https://www.base-search.net/Record/8b3db4f9aff1e7fb6345e1a0ca8b89dc0e7df7f28e850dcfc37e7080d2b2f184},
  note = {base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/14584)},
  researchr = {https://researchr.org/publication/basesearch-10364},
  cites = {0},
  citedby = {0},
  school = {University of Waterloo, Ontario, Canada},
}