EX11: a GUI in a concurrent functional language.

Published in: Erlang Workshop (2004)

Keyphrases

functional language
functional programming
programming language
proof planning
theorem proving
general purpose
concept formation
data mining
machine learning
object identity