TFG - Simple functional nondeterministic language that combines call-time choice and run-time choice semantics.
haskell functional-programming lazy-evaluation functional-language higher-order nondeterministic call-time-choice run-time-choice
-
Updated
Jun 19, 2019 - Haskell