Semantic types: a fresh look at the ideal model for types.

Jerome Vouillon Paul-André Melliès

Published in: POPL (2004)

Keyphrases

probabilistic model
computational model
high level
databases
management system
prior knowledge
information systems
real time
control system
genetic algorithm
information retrieval
maximum likelihood
parameter estimation
theoretical framework
statistical model
formal model
object model
context dependent