URL details: danelahman.github.io/#community
URL title:
Danel Ahman
URL description:
Danel Ahman's Research
URL keywords:
Danel Ahman, publications, research, dependent types, refinement types, semantics, denotatio
URL last crawled:
2022-06-27
URL speed:
1.020 MB/s,
downloaded in 0.050 seconds
We found no external links pointing to this url.