@Misc{Roblox,
  author =    {Roblox},
  title =     {What is {Roblox}},
  year = 2021,
  url = {https://corp.roblox.com},
}

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

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

@Misc{AllEducators,
  author =       {Roblox},
  title =        {Roblox Education: All Educators},
  year =         {2021},
  url =          {https://education.roblox.com/en-us/educators},
}

@Misc{RobloxDevelopers,
  author =       {Roblox},
  title =        {Roblox Developers Expected to Earn Over \$250 Million in 2020; Platform Now Has Over 150 Million Monthly Active Users
},
  year =         {2020},
  url =          {https://corp.roblox.com/2020/07/roblox-developers-expected-earn-250-million-2020-platform-now-150-million-monthly-active-users/},
}

@Book{TAPL,
  author =       {Benjamin C. Pierce},
  title =        {Types and Programming Languages},
  publisher =    {{MIT} Press},
  year =         {2002},
  isbn =         {0-262-16209-1},
}

@Book{TDDIdris,
  author =       {Edwin Brady},
  title =        {Type-Driven Development with {Idris}},
  publisher =    {Manning},
  year =         {2017},
  isbn =         {9781617293023},
}