<programming> (CFP) functional programming plus constraints.
(2002-06-08)
Try this search on Wikipedia, OneLook, Google
Nearby terms: constant linear velocity « constant mapping « constraint « constraint functional programming » Constraint Handling In Prolog » ConstraintLisp » Constraint Logic Programming