@phdthesis{OConnor:phd,
    address          = {Sydney, Australia},
    author           = {O'Connor, Liam},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/papers/OConnor%3Aphd.pdf},
    school           = {UNSW},
    title            = {Type Systems for Systems Types},
    url              = {http://handle.unsw.edu.au/1959.4/64238},
    year             = {2019}
  }