Refinement types are types annotated with predicates.
Refinement types are types annotated with predicates. They're used to express complex properties of program data.
About
Stats
|
created |
1 year, 9 months ago |
|
viewed |
2 times |
|
active |
1 year, 9 months ago |
|
editors |
1 |
