A Theory of Type Polymorphism in Programming.

Milner, R. (1978). A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 0000(78), 348-375.

Type

Journal article

Intellectual base

Primary research

Year

1978

DOI

10.1016/0022-0000(78)90014-4

Link

https://doi.org/10.1016/0022-0000(78)90014-4

Cited from

mathematics

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Function (Mapping)
  • Type systems

    This sourceFounding paper of the Hindley-Milner type-system used in ML, OCaml, Haskell. Precursor: Hindley, J. Roger. "The Principal Type-Scheme of an Object in Combinatory Logic." Transactions of the American Mathematical Society 146 (December 1969): 29–60, DOI 10.2307/1995158.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:0a275ee8fe76 · see in the full table