2021-07-20 19:41:04 +01:00
|
|
|
|
@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},
|
|
|
|
|
}
|
|
|
|
|
|
2021-08-04 21:50:44 +01:00
|
|
|
|
@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/},
|
|
|
|
|
}
|
2021-07-20 19:41:04 +01:00
|
|
|
|
|
2021-08-04 21:50:44 +01:00
|
|
|
|
@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},
|
|
|
|
|
}
|