Typechecking Records and Variants in a Natural Extension of ML.

Published in: POPL (1989)

Keyphrases

maximum likelihood
databases
database
case study
real world
man made
neural network
genetic algorithm
image processing
multimedia
website
evolutionary algorithm
statistical databases