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

@Misc{Roblox,
  author =    {Roblox},
  title =     {Reimagining the way people come together},
  year = 2023,
  url = {https://corp.roblox.com},
}

@Misc{Luau,
  author =    {Roblox},
  title =        {The {Luau} Programming Language},
  year = 2023,
  url = {https://luau-lang.org},
}

@Misc{Lua,
  author =    {Lua.org and {PUC}-Rio},
  title =        {The {Lua} Programming Language},
  year = 2023,
  url = {https://lua.org},
}

@Misc{Jef22:SemanticSubtyping,
  author =       {A. S. A. Jeffrey},
  title =        {Semantic Subtyping in Luau},
  howpublished = {Roblox Technical Blog},
  year =         {2022},
  url =          {https://blog.roblox.com/2022/11/semantic-subtyping-luau/},
}

@InProceedings{GF05:GentleIntroduction,
  author =       {G. Castagna and A. Frisch},
  title =        {A Gentle Introduction to Semantic Subtyping},
  booktitle =    {Proc. Principles and Practice of Declarative Programming},
  year =         {2005},
}

@InProceedings{ST07:GradualTyping,
  author =       {J. G. Siek and W. Taha},
  title =        {Gradual Typing for Objects},
  booktitle =    {Proc. European Conf Object-Oriented Programming},
  year =         {2007},
  pages =        {2-27},
}

@Misc{BJ23:agda-typeck,
  author =       {L. Brown and A. S. A. Jeffrey},
  title =     {Luau Prototype Typechecker},
  year =         {2023},
  OPTnote =      {},
  url = {https://github.com/luau-lang/agda-typeck}
}

@article{PT00:LocalTypeInference,
author = {Pierce, B. C. and Turner, D. N.},
title = {Local Type Inference},
year = {2000},
volume = {22},
number = {1},
journal = {ACM Trans. Program. Lang. Syst.},
pages = {1–44},
}