Type assignment in programming languages

  title={Type assignment in programming languages},
  author={Lu{\'i}s Damas},
The purpose of this work is to present and study a family of polymorphic type disciplines for programming languages similar to the type discipline of ML, the metalanguage of the LCF system, which are based on the use of type inference systems to define the notion of well typed expressions and programs and on the use of type assignment algorithms to compute the type or types that can be inferred for those same expressions or programs. Previous work on the theoretical foundations of the ML type… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 127 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
90 Citations
6 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 90 extracted citations

128 Citations

Citations per Year
Semantic Scholar estimates that this publication has 128 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-6 of 6 references

A Theory of Type Polymorphism in Programming

  • R. Milner
  • J. of Comp. and Syst. Science
  • 1978
Highly Influential
5 Excerpts

Denotational Semantics: The Scott-Strachey approach to Programming Language Theory

  • J. Stoy
  • 1977
Highly Influential
3 Excerpts

An Investigation of a Programming Language with a Polymorphic Type Structure

  • N. McCracken
  • PhD thesis, Syracuse University,
  • 1979
1 Excerpt

Wadge Data Types as Objects

  • Shamir, W. Wadge 771 A. Shamir
  • Lecture Notes in Computer Science,
  • 1977

Similar Papers

Loading similar papers…