Login / Signup
Jad Elkhaleq Ghalayini
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Website
Learning Algorithm
Refinement Process
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Jad Elkhaleq Ghalayini
,
Neel Krishnaswami
Explicit Refinement Types.
Proc. ACM Program. Lang.
7 (ICFP) (2023)
Jad Elkhaleq Ghalayini
,
Neel Krishnaswami
Explicit Refinement Types.
CoRR
(2023)