- Tytuł:
- CoCaml: Functional Programming with Regular Coinductive Types
- Autorzy:
-
Jeannin, J.-B.
Kozen, D.
Silva, A. - Data publikacji:
- 2017
- Słowa kluczowe:
-
functional programming
coinductive types
recursive types
coalgebra - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł