Lightweight Static Guarantees
DRANK
The programming style for static assurances, using types to carry capabilities, which are mere references to specifications rather than actual specifications
The programming style for static assurances, using types to carry capabilities, which are mere references to specifications rather than actual specifications