On the semantics of polymorphism

This publication has 8 references indexed in Scilit:

• An extended polymorphic type system for applicative languages
  Published by Springer Nature ,2005
• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• The completeness theorem for typing λ-terms
  Theoretical Computer Science, 1983
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• On the Semantics of “Data Type”
  SIAM Journal on Computing, 1979
• Tω as a Universal Domain
  Journal of Computer and System Sciences, 1978
• LCF considered as a programming language
  Theoretical Computer Science, 1977
• Modified basic functionality in combinatory logic
  Dialectica, 1969