Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.

Vincent Simonet

Published in: APLAS (2003)

Keyphrases

constraint solver
constraint solving
constraint programming
linear constraints
constraint propagation
constraint satisfaction problems
knowledge representation
real numbers
pattern recognition
computational intelligence
constraint satisfaction
arc consistency algorithm