Entry Pierce:2000:LTI from toplas.bib

Last update: Tue May 1 02:05:46 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Pierce:2000:LTI,
  author =       "Benjamin C. Pierce and David N. Turner",
  title =        "Local type inference",
  journal =      j-TOPLAS,
  volume =       "22",
  number =       "1",
  pages =        "1--44",
  month =        jan,
  year =         "2000",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Tue Sep 26 10:12:58 MDT 2000",
  bibsource =    "http://www.acm.org/pubs/contents/journals/toplas/;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org/pubs/citations/journals/toplas/2000-22-1/p1-pierce/",
  abstract =     "We study two partial type inference methods for a
                 language combining subtyping and impredicative
                 polymorphism. Both methods are {\em local\/} in the
                 sense that missing annotations are recovered using only
                 information from adjacent nodes in the syntax tree,
                 without long-distance constraints such as unification
                 variables. One method infers type arguments in
                 polymorphic applications using a local constraint
                 solver. The other infers annotations on bound variables
                 in function abstractions by propagating type
                 constraints downward from enclosing application nodes.
                 We motivate our design choices by a statistical
                 analysis of the uses of type inference in a sizable
                 body of existing ML code.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  keywords =     "polymorphism; subtyping; type inference",
  subject =      "Software --- Programming Languages --- Formal
                 Definitions and Theory (D.3.1)",
}

Related entries