Registered user since Mon 17 Feb 2020
Name:Leo White
Affiliation:Jane Street
Contributions
ICFP 2019 | Lambda: the Ultimate Sublanguage (Experience Report) | ||||||||||||||||||||||||||||||||||||||||
TyDe 2019 | Syntax with Shifted Names | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile