Continuation semantics in typed lambda-calculi

This publication has 7 references indexed in Scilit:

• A types-as-sets semantics for milner-style polymorphism
  Published by Association for Computing Machinery (ACM) ,1984
• What is a model of the lambda calculus?
  Information and Control, 1982
• The congruence of two programming language definitions
  Theoretical Computer Science, 1981
• Constructing Call-by-Value Continuation Semantics
  Journal of the ACM, 1980
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975
• On the Relation between Direct and Continuation Semantics
  Published by Springer Nature ,1974
• Proof of correctness of data representations
  Acta Informatica, 1972