
Registered user since Sun 18 Dec 2016
Name:Alan Jeffrey
Bio:
Software Engineer at Roblox, working on type systems and type inference for the Luau programming language.
Country:United States
Affiliation:Roblox
Personal website:http://asaj.org/
Twitter:https://twitter.com/asajeffrey
Research interests:Programming Languages, Type Systems, Reactive Programming
Contributions
POPL 2023 | Committee Member in Program Committee within the POPL-track Session Chair of Types II (part of POPL) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile