Non-determinism analyses in a parallel-functional language.

Ricardo Peña-Marí Clara Segura

Published in: J. Funct. Program. (2005)

Keyphrases

functional language
functional programming
programming language
machine learning
general purpose
data mining
search algorithm
proof planning