- Tytuł:
- ChR: Dynamic Functional Constraints Checking in R
- Autorzy:
- Grzanek, K.
- Data publikacji:
- 2017
- Słowa kluczowe:
-
formal software verification
software quality
dynamic type-checking
functional programming
category theory
R - Pokaż więcej
- Dostawca treści:
- BazTech