Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
Position Paper: Goals of the Luau Type System
Lily Brown, Andy Friesen, Alan Jeffrey
Luau is the scripting language that powers user-generated experiences on the Roblox platform. It is a statically-typed language, based on the dynamically-typed Lua language, with t…
cs.PL2018
Josephine: Using JavaScript to safely manage the lifetimes of Rust data
Alan Jeffrey
This paper is about the interface between languages which use a garbage collector and those which use fancy types for safe manual memory management. Garbage collection is the tradi…