Login / Signup

Type Inference in the Presence of Overloading, Subtyping and Recursive Types.

Stefan Kaes
Published in: LISP and Functional Programming (1992)
Keyphrases
  • random fields
  • multiple types
  • neural network
  • bayesian networks
  • objective function
  • pairwise
  • evolutionary algorithm
  • data model
  • belief networks