2023-07-22 04:05:26 +08:00
|
|
|
|
@InProceedings{BFJ21:GoalsLuau,
|
|
|
|
|
|
author = {L. Brown and A. Friesen and A. S. A. Jeffrey},
|
2023-08-22 04:25:25 +08:00
|
|
|
|
title = {Position Paper: Goals of the Luau Type System},
|
2023-07-22 04:05:26 +08:00
|
|
|
|
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},
|
|
|
|
|
|
}
|
