Suchergebnisse - "monad"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- 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
Embedding a family of logic languages with custom monadic unification in Scala
Veröffentlicht 2024Volltext
Artikel -
2
-
3
-
4