Discussions
Reddit
[Beginner] What are other applications of dependent types in programming languages that are similar to sized types?
(
Search by title
)
https://arxiv.org/pdf/1012.4896.pdf
(
Lookup URL
)
4
comments
, 5 points [
11/10/2020
]
idris