A Methodology for Lisp Program Construction from Examples.

Phillip D. Summers

Browse the full POPL paper archive.