SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Alan Jeffrey

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/
Research interests:Programming Languages, Type Systems, Reactive Programming

Contributions

HATRA 2022 Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track
Show activities from other conferences

Using general profile