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||Typechecking up to Congruence|
|Show activities from other conferences|
Using general profile