Login / Signup
Amal Ahmed
ORCID
Publication Activity (10 Years)
Years Active: 2007-2022
Publications (10 Years): 29
Top Topics
Fixed Point Semantics
Functional Language
Pairwise Distances
Database Queries
Top Venues
CoRR
Proc. ACM Program. Lang.
PLDI
ICFP
</>
Publications
</>