
Registered user since Wed 29 Dec 2021
Name:Jad Elkhaleq Ghalayini
Bio:
PhD student at the Department of Computer Science and Technology in the University of Cambridge, supervised by Neel Krishnaswami.
Country:United Kingdom
Affiliation:University of Cambridge
Personal website:https://gitlab.com/tekne
GitHub:https://github.com/imbrem
Research interests:Dependent Types, Substructural Types, Ownership, Programming Languages, Compilers
Contributions
WITS 2022 | Typechecking up to Congruence | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile