URL details: danel.ahman.ee/
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-17
URL speed:
1.000 MB/s,
downloaded in 0.050 seconds
2 external links to this url
Only links from external domains are shown on this page.
found date
link text
from url
2021-08-09
Danel Ahman
2021-06-27
Danel Ahman