corpus.blog
41,554 blogs · 5,063,431 posts Claim your blog
Record · corpus.blog/posts/01a08767-7789-714a-8dac-1a4a7c97810e

Chapel's Runtime Types as an Interesting Alternative to Dependent Types

Daniel's Blog · published 3 March 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at danilafe.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
21
Words captured
6,828

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Dependent_type
en.wikipedia.org
https://en.cppreference.com/w/cpp/container/array
en.cppreference.com
https://www.idris-lang.org/
idris-lang.org
https://agda.readthedocs.io/en/latest/getting-started/what-is-agda.html
agda.readthedocs.io
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
en.wikipedia.org
https://agda.github.io/agda-stdlib/master/Data.Vec.html
agda.github.io
https://chapel-lang.org/
chapel-lang.org
https://chapel-lang.org/blog/authors/daniel-fedorin/
chapel-lang.org
https://unimath.github.io/agda-unimath/foundation.dependent-pair-types.html
unimath.github.io
https://github.com/idris-lang/Idris2/
github.com
https://bentnib.org/quantitative-type-theory.html
bentnib.org
https://chapel-lang.org/docs/primers/ranges.html
chapel-lang.org
https://chapel-lang.org/docs/primers/reductions.html
chapel-lang.org
https://github.com/chapel-lang/chapel/blob/e8ff8ee9a67950408cc6d4c3220ac647817ddae3/modules/internal/ChapelReduce.chpl
github.com
https://en.wikipedia.org/wiki/Interprocedural_optimization
en.wikipedia.org
https://chapel-lang.org/blog/posts/linear-multistep/
chapel-lang.org
https://en.wikipedia.org/wiki/Dead-code_elimination
en.wikipedia.org
https://en.wikipedia.org/wiki/Monomorphization
en.wikipedia.org
https://chapel-lang.org/docs/primers/distributions.html
chapel-lang.org
https://chapel-lang.org/blog/posts/announcing-chapel-2.3/
chapel-lang.org
https://chapel-lang.org/docs/primers/arrays.html
chapel-lang.org
Elsewhere on danilafe.com (1)