The Definition and Implementation of A Computer Programming Language based on Constraints

This work is the doctoral thesis of Guy L. Steele Jr.