Результати пошуку - "monads"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 18A40 2
- 18C20 2
- Scala 2
- UDC 004.424 2
- adjoint functors 2
- pairing of functors 2
- УДК 004.424 2
- 16T1 1
- 16T15 1
- Frobenius monads 1
- \(r\)-counital comonads 1
- \(r\)-unital monads 1
- cofirm comodules 1
- declarative programming 1
- effects 1
- embedding 1
- firm modules 1
- logical programming 1
- monad 1
- monads 1
- object-oriented language 1
- program transformation 1
- programing language 1
- separability 1
- term 1
- unification 1
- weak (co)monads 1
- weak monads and comonads 1
- вбудовування 1
- декларативне програмування 1
-
1
-
2
Representation of monadic effects in the non-monadic form
Опубліковано 2024Отримати повний текст
Стаття -
3
-
4
Embedding a family of logic languages with custom monadic unification in Scala
Опубліковано 2024Отримати повний текст
Стаття