A very modal model of a modern, major, general type system.

Andrew W. Appel Paul-André Melliès Christopher D. Richards Jérôme Vouillon

Published in: POPL (2007)

Keyphrases

probabilistic model
computational model
mathematical model
formal model
database
website
high level
objective function
management system
theoretical framework
information retrieval
experimental data
neural network model
bayesian framework