URL details: danelahman.github.io/#publications
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-26
URL speed:
1.080 MB/s,
downloaded in 0.050 seconds
We found no external links pointing to this url.