Jad Elkhaleq Ghalayini

Orcid: 0000-0002-6905-1303

According to our database¹, Jad Elkhaleq Ghalayini authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

The Denotational Semantics of SSA.

[DOI]

CoRR, 2024

2023

Explicit Refinement Types.

[DOI]

Proc. ACM Program. Lang., August, 2023