Registered user since Sun 18 Dec 2016
Software Engineer at Roblox, working on type systems and type inference for the Luau programming language.
Personal website: http://asaj.org/
Research interests:Programming Languages, Type Systems, Reactive Programming
Using general profile