Type Inference

Part of the Undergraduate Topics in Computer Science book series (UTICS)


This chapter continues with types, but with a much more operational orientation. Powerful type inferences type inference algorithms are described, in particular one with polymorphic typing.


Application Rule Type Inference Principal Type Arbitrary Variable Type Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Labo. d’InformatiqueÉcole polytechniquePalaiseauFrance
  2. 2.Centre de Recherche Commun, INRIA-Microsoft ResearchParc Orsay UniversitéOrsay CedexFrance

Personalised recommendations