A Type System Equivalent to a Model Checker

This publication has 44 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• From Polyvariant flow information to intersection and union types
  Journal of Functional Programming, 2001
• A slicing-based approach for locating type errors
  ACM Transactions on Software Engineering and Methodology, 2001
• Equality-based flow analysis versus recursive types
  ACM Transactions on Programming Languages and Systems, 1998
• Exact flow analysis
  Published by Springer Nature ,1997
• Constrained types and their expressiveness
  ACM Transactions on Programming Languages and Systems, 1996
• Explaining type inference
  Science of Computer Programming, 1996
• A type system equivalent to flow analysis
  ACM Transactions on Programming Languages and Systems, 1995
• Subtyping recursive types
  ACM Transactions on Programming Languages and Systems, 1993
• Explaining type errors in polymorphic languages
  ACM Letters on Programming Languages and Systems, 1993