@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},
}

@PhdThesis{TopQuality,
  author =       {Bastiaan J. Heeren},
  title =        {Top Quality Type Error Messages},
  school =       {U. Utrecht},
  year =         {2005},
}

@PhdThesis{RepairingTypeErrors,
  author =       {Bruce J. McAdam},
  title =        {Repairing Type Errors in Functional Programs},
  school =       {U. Edinburgh},
  year =         {2002},
}

@InProceedings{GradualTyping,
  author =       {Jeremy G. Siek and Walid Taha},
  title =        {Gradual Typing for Functional Languages},
  booktitle =    {Proc. Scheme and Functional Programming Workshop},
  year =         {2006},
  pages =        {81-92},
}

@InProceedings{WellTyped,
  author =       {Philip Wadler and Robert B. Findler},
  title =        {Well-typed Programs Can’t be Blamed},
  booktitle =    {Proc. European Symp. Programming},
  year =         {2009},
  pages =        {1-16},
}

@InProceedings{Contracts,
  author =       {Robert B. Findler and Matthias Felleisen},
  title =        {Contracts for Higher-order Functions},
  booktitle =    {Proc. Int. Conf. Functional Programming},
  year =         {2002},
  pages =        {48-59},
}

@inproceedings{SuccessTyping,
  author = {Lindahl, Tobias and Sagonas, Konstantinos},
  title = {Practical Type Inference Based on Success Typings},
  year = {2006},
  booktitle = {Proc. Int. Conf. Principles and Practice of Declarative Programming},
  pages = {167–178},
}

@InProceedings{IncorrectnessLogic,
  author = {O'Hearn, Peter W.},
  title = {Incorrectness Logic},
  year = {2020},
  booktitle = {Proc. Symp. Principles of Programming Languages},
  articleno = {10},
  pages = {1-32},
}

@Misc{HowToDrawAnOwl,
  author =       {Know Your Meme},
  title =        {How To Draw An Owl},
  year =         {2010},
  url =    {https://knowyourmeme.com/memes/how-to-draw-an-owl},
}

@Misc{RustBook,
  author = {Klabnik, Steve and Nichols, Carol and the Rust Community},
  title = {The Rust Programming Language},
  year = {2021},
  url = {https://doc.rust-lang.org/book/},
}

@article{TypeClasses,
author = {Hall, Cordelia V. and Hammond, Kevin and Peyton Jones, Simon L. and Wadler, Philip L.},
title = {Type Classes in Haskell},
year = {1996},
volume = {18},
number = {2},
journal = {ACM Trans. Program. Lang. Syst.},
pages = {109–138},
}

@InProceedings{Hazel,
  author =       {Cyrus Omar and Ian Voysey and Ravi Chugh and Matthew Hammer},
  title =        {Live Functional Programming with Typed Holes},
  booktitle =    {Proc. Symp. Principles of Programming Languages},
  year =         {2019},
  pages =        {14:1-14:28},
}

@InProceedings{MigratoryTyping,
  author =       {Sam Tobin-Hochstadt and Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Ben Greenman and Andrew M. Kent and Vincent St-Amour and T. Stephen Strickland and Asumu Takikawa},
  title =        {Migratory Typing: Ten Years Later},
  booktitle =    {Proc. Summit on Advances in Programming Languages},
  year =         {2017},
}

@InProceedings{LinkingTypes,
  author =       {Daniel Patterson and Amal Ahmed},
  title =        {Linking Types for Multi-Language Software: Have Your Cake and Eat It Too},
  booktitle =    {Proc. Summit on Advances in Programming Languages},
  year =         {2017},
}

@InProceedings{QuickLook,
author = {Serrano, Alejandro and Hage, Jurriaan and Peyton Jones, Simon and Vytiniotis, Dimitrios},
title = {A quick look at impredicativity},
booktitle = {Proc. Int. Conf. Functional Programming},
year = {2020},
}

@InProceedings{Boehm85,
  author =       {Partial polymorphic type inference is undecidable},
  title =        {Hans-J. Boehm},
  booktitle =    {Proc. Symp. Foundations of Computer Science},
  year =         {1985},
  pages =        {339-345},
}

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