Type Systems for Programming Languages

This publication has 46 references indexed in Scilit:

• Abstract types have existential type
  ACM Transactions on Programming Languages and Systems, 1988
• Categorical semantics for higher order polymorphic lambda calculus
  The Journal of Symbolic Logic, 1987
• Basic polymorphic typechecking
  Science of Computer Programming, 1987
• Strictness analysis for higher-order functions
  Science of Computer Programming, 1986
• Locally cartesian closed categories and type theory
  Mathematical Proceedings of the Cambridge Philosophical Society, 1984
• The Expressiveness of Simple and Second-Order Type Structures
  Journal of the ACM, 1983
• Completeness, invariance and λ-definability
  The Journal of Symbolic Logic, 1982
• A theory of type polymorphism in programming
  Journal of Computer and System Sciences, 1978
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950