Canonical Regular Types

@inproceedings{Jackson2011CanonicalRT,
  title={Canonical Regular Types},
  author={Ethan K. Jackson and Nikolaj Bj\orner and Wolfram Schulte},
  booktitle={ICLP},
  year={2011}
}
Regular types represent sets of structured data, and have been used in logic programming (LP) for verification. However, first-class regular type systems are uncommon in LP languages. In this paper we present a new approach to regular types, based on type canonization, aimed at providing a practical first-class regular type system. 1998 ACM Subject Classification D.3.3 Language Constructs and Features