<theory> A self-applicable partial evaluator.
(2001-09-16)
Try this search on Wikipedia, OneLook, Google