Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- Scala
- UDC 004.424 2
- УДК 004.424 2
- declarative programming 1
- effects 1
- embedding 1
- logical programming 1
- monad 1
- monads 1
- object-oriented language 1
- program transformation 1
- programing language 1
- term 1
- unification 1
- вбудовування 1
- декларативне програмування 1
- ефекти 1
- логічне програмування 1
- мови програмування 1
- монада 1
- монади 1
- перетворення програм 1
- предметно-орієнтована мова 1
- терм 1
- уніфікація 1
-
1
Embedding a family of logic languages with custom monadic unification in Scala
Опубліковано 2024Отримати повний текст
Стаття -
2
Representation of monadic effects in the non-monadic form
Опубліковано 2024Отримати повний текст
Стаття