Norman Ramsey;Kevin Scott
Harvard University;University of Virginia
Functional satisfaction
Journal of Functional Programming