Explicit Refinement Types. - Jad Elkhaleq Ghalayini; Neel Krishnaswami (Proc. ACM Program. Lang., 2023)

The Denotational Semantics of SSA. - Jad Elkhaleq Ghalayini; Neel Krishnaswami (CoRR, 2024)