Strictness analysis and polymorphic invariance

This publication has 6 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• A mathematical semantics for a nondeterministic typed λ-calculus
  Theoretical Computer Science, 1980
• LCF considered as a programming language
  Theoretical Computer Science, 1977
• The next 700 programming languages
  Communications of the ACM, 1966
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965