Dependent ML An approach to practical programming with dependent types.

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

Keyphrases

real time
programming language
maximum likelihood
decision trees
databases
real world
information retrieval
social networks
image segmentation
expert systems
practical application