URL details: danelahman.github.io
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-20
URL speed:
0.178 MB/s,
downloaded in 0.300 seconds
1 external links to this url
Only links from external domains are shown on this page.