@inproceedings{Winwood_Chakravarty_11,
    address          = {Austin, Texas, USA},
    author           = {Winwood, Simon and Chakravarty, Manuel},
    booktitle        = {The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation},
    isbn             = {978-1-4503-0484-9},
    month            = jan,
    pages            = {3--14},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4366.pdf},
    publisher        = {ACM},
    title            = {Singleton : A general-purpose dependently-typed assembly language},
    year             = {2011}
  }