![Alan Jeffrey](https://popl22.sigplan.org/getProfileImage/alanjeffrey1/40435213-c4dd-496e-bf63-95781fa8da42/small.jpg?1711463266000)
Registered user since Sun 18 Dec 2016
Name:Alan Jeffrey
Bio:
Software Engineer at Roblox, working on gradual typing and type inference for the Luau programming language.
Country:United States
Affiliation:Roblox
Personal website: http://asaj.org/
X (Twitter): https://x.com/asajeffrey
GitHub: https://github.com/asajeffrey
Research interests:Programming Languages, Type Systems, Security, Reactive Programming
Contributions
2022
POPL
Symposium on Practical Aspects of Declarative Languages
POPL 2022-profile
View general profile
View general profile