Lambda the Ultimate

Author of Constraint Programming Languages, their Specification and Generation. Creator of the Bertrand constraint programming language. For more information about Bertrand, see http://groups.google.com/group/bertrand-constraint

See http://leler.com/wm/