book chapter · Lecture notes in computer science · 2003

A Logical Algorithm for ML Type Inference

Cited by 3Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

McAllester, D. (2003). A Logical Algorithm for ML Type Inference. Lecture notes in computer science, 436–451. https://doi.org/10.1007/3-540-44881-0_31

MLA 9

McAllester, David. “A Logical Algorithm for ML Type Inference.” Lecture notes in computer science, 2003, pp. 436–51, https://doi.org/10.1007/3-540-44881-0_31.

Chicago

McAllester, David. 2003. “A Logical Algorithm for ML Type Inference.” Lecture notes in computer science: 436–51. https://doi.org/10.1007/3-540-44881-0_31.

Harvard

McAllester, D. (2003) ‘A Logical Algorithm for ML Type Inference’, Lecture notes in computer science, pp. 436–451. Available at: https://doi.org/10.1007/3-540-44881-0_31.

BibTeX

@incollection{mcallester2003logical,
  title = {{A Logical Algorithm for ML Type Inference}},
  author = {McAllester, David},
  booktitle = {Lecture notes in computer science},
  pages = {436--451},
  year = {2003},
  doi = {10.1007/3-540-44881-0_31}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

A Logical Algorithm for ML Type Inference

Abstract

Cite this paper

The Ackermann functions are not optimal, but by how much?

Optimizing Ackermann's function by incrementalization