danilafe.com/blog/chapel_runtime_types
Preview meta tags from the danilafe.com website.
Linked Hostnames
10- 13 links todanilafe.com
- 8 links tochapel-lang.org
- 5 links toen.wikipedia.org
- 3 links togithub.com
- 1 link toagda.github.io
- 1 link toagda.readthedocs.io
- 1 link tobentnib.org
- 1 link toen.cppreference.com
General Meta Tags
6- titleChapel's Runtime Types as an Interesting Alternative to Dependent Types
- Content-Typetext/html; charset=UTF-8
- charsetutf-8
- viewportwidth=device-width, initial-scale=1
- theme-color#1dc868
Link Tags
9- alternatehttps://danilafe.com/index.xml
- alternatehttps://danilafe.com/index.toml
- iconhttps://danilafe.com/img/favicon.png
- preload/normalize/normalize.css
- preload/katex/katex.min.css
Emails
1Links
35- https://agda.github.io/agda-stdlib/master/Data.Vec.html
- https://agda.readthedocs.io/en/latest/getting-started/what-is-agda.html
- https://bentnib.org/quantitative-type-theory.html
- https://chapel-lang.org
- https://chapel-lang.org/blog/authors/daniel-fedorin