Search Results - "Scala"
Suggested Topics within your search.
Suggested Topics within your search.
- Scala 2
- 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
-
2
Embedding a family of logic languages with custom monadic unification in Scala
Published 2024Get full text
Article