@mastersthesis{Truong:be,
    address          = {unswaddr},
    author           = {Halogen Truong},
    month            = nov,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/25/Truong%3Abe.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Improving the Safety of the {Pancake} Language},
    year             = {2025}
  }