Login / Signup

On Typability for Rank-2 Intersection Types with Polymorphic Recursion.

Tachio TerauchiAlex Aiken
Published in: LICS (2006)
Keyphrases
  • neural network
  • artificial intelligence
  • complex objects
  • real time
  • probabilistic model
  • object oriented
  • highly ranked