luau.bib

@InProceedings{BFJ21:GoalsLuau,
  author = 	 {L. Brown and A. Friesen and A. S. A. Jeffrey},
  title = 	 {Position Paper: Goals of the {Luau} Type System},
  booktitle =	 {Proc. Human Aspects of Types and Reasoning Assistants},
  year =	 {2021},
  url =          {https://research.luau-lang.org/hatra21/hatra21.pdf},
}

@InProceedings{BFJ23:GoalsLuau,
  author = 	 {L. Brown and A. Friesen and A. S. A. Jeffrey},
  title = 	 {Goals of the Luau Type System, Two Years On},
  booktitle =	 {Proc. Human Aspects of Types and Reasoning Assistants},
  year =	 {2023},
  url =          {https://research.luau-lang.org/hatra23/hatra23.pdf},
}

@Misc{BFJV24:TowardsUnsound,
  author = 	 {L. Brown and A. Friesen and A. S. A. Jeffrey and V. Vijay},
  title = 	 {Towards an Unsound But Complete Type System: Work In Progress on New Non-Strict Mode for {Luau}},
  year =	 {2024},
  note =         {Manuscript},
  url =          {https://research.luau-lang.org/incorrectness24/incorrectness24.pdf},
}