Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.

Marco Bellia M. Eugenia Occhiuto

Published in: CS&P (2012)

Keyphrases

higher order
bayesian networks
object oriented
lambda calculus
fixed order
probabilistic inference
open source
programming language
web applications
lightweight
byte code
pairwise
database systems
high level
knowledge base
search engine
inference process
artificial intelligence
information retrieval