Questions tagged [refinement-type]
Refinement types are types annotated with predicates.
1
question
9
votes
2
answers
304
views
What's the relationship between refinement types and dependent types?
In the F* proof assistant, they use refinement types together with dependent types. Based on my impression of F*, it seems to me that refinement types are just predicates in dependent type theory that ...
- 5,877