conf.researchr.org / Jad Elkhaleq Ghalayini
Registered user since Wed 29 Dec 2021
Name:Jad Elkhaleq Ghalayini
PhD student at the Department of Computer Science and Technology in the University of Cambridge, supervised by Neel Krishnaswami.
Affiliation:University of Cambridge
Research interests:Dependent Types, Substructural Types, Ownership, Programming Languages, Compilers
|WITS 2022||Author of Typechecking up to Congruence within the WITS 2022-track|