- Tytuł:
- ChR: Dynamic Functional Constraints Checking in R
- Autorzy:
- Grzanek, K.
- Data publikacji:
- 2017
- Wydawca:
- Społeczna Akademia Nauk w Łodzi
- Tematy:
-
formal software verification
software quality
dynamic type-checking
functional programming
category theory
R - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki