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