URL details: danel.ahman.ee/#talks
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-24
URL speed:
0.177 MB/s,
downloaded in 0.300 seconds
We found no external links pointing to this url.