Singleton, union and intersection types for program extraction

This publication has 12 references indexed in Scilit:

• Refinement types for ML
  Published by Association for Computing Machinery (ACM) ,1991
• Intersection and union types
  Published by Springer Nature ,1991
• The semantics of second-order lambda calculus
  Information and Computation, 1990
• Type Systems for Programming Languages
  Published by Elsevier ,1990
• Constructive Mathematics and Computer-Assisted Reasoning Systems
  Published by Springer Nature ,1990
• The calculus of constructions
  Information and Computation, 1988
• Programming with proofs: A second order type theory
  Published by Springer Nature ,1988
• Polymorphism is set theoretic, constructively
  Published by Springer Nature ,1987
• Typing and computational properties of lambda expressions
  Theoretical Computer Science, 1986
• An ideal model for recursive polymorphic types
  Information and Control, 1986