Purely functional lazy non-deterministic programming.
Sebastian FischerOleg KiselyovChung-chieh ShanPublished in: ICFP (2009)
Keyphrases
- programming language
- functional language
- programming environment
- black box
- high level language
- randomized algorithms
- development environment
- functional properties
- expert systems
- neural network
- object oriented programming
- knowledge base
- information systems
- functional analysis
- functional programming
- search engine
- data mining