Semantic subtyping with an SMT solver

@article{Bierman2010SemanticSW,
  title={Semantic subtyping with an SMT solver},
  author={Gavin M. Bierman and Andrew D. Gordon and Catalin Hritcu and David E. Langworthy},
  journal={J. Funct. Program.},
  year={2010},
  volume={22},
  pages={31-105}
}
We study a first-order functional language with the novel combination of the ideas of refinement type (the subset of a type to satisfy a Boolean expression) and type-test (a Boolean expression testing whether a value belongs to a type). Our core calculus can express a rich variety of typing idioms; for example, intersection, union, negation, singleton… CONTINUE READING

Topics

Statistics

01020201020112012201320142015201620172018
Citations per Year

65 Citations

Semantic Scholar estimates that this publication has 65 citations based on the available data.

See our FAQ for additional information.