Sign in

Formal Parametric Polymorphism.

Martín AbadiLuca CardelliPierre-Louis Curien
Published in: Theor. Comput. Sci. (1993)
Keyphrases
  • formal model
  • machine learning
  • computational complexity
  • formal representation
  • computer vision
  • web services
  • database systems
  • face recognition
  • hidden markov models
  • software engineering
  • semi parametric