Login / Signup

Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.

Marco BelliaM. Eugenia Occhiuto
Published in: Fundam. Informaticae (2013)
Keyphrases
  • multiple types
  • higher order
  • open source
  • source code
  • real world
  • web applications
  • neural network
  • data mining
  • object oriented
  • programming language
  • java programs