Литература

1. Маккарти McCarthy J., "Recursive Functions of Symbolic Expressions", Communications of the Association for Computing Machinery, vol. 3, 1960, and "А Basis lor a Mathematical Theorj of Computation", in Proceedings of the Western Joint Computer Conference, 1961. Классические работы, в которых Маккарти ввел язык Лисп. Обсуждается соотношение между языком Лисп и ламбда-исчислением.
2. Галлей, Пфистер Galley S. W., PfisterG.,"The MDL Language", Laboratory of Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1975. Чтобы получить более полный контроль над тем, как обрабатываются аргументы функций, были введены FEXPR. В настоящее время решение с использованием FEXPR, по-видимому, испытывает опасность отмирания. В языке MDL, похожем на Лисп во многих отношениях, были введены некоторые новые соглашения, которые представляются достаточно гибкими и желательными. Он допускает спецификации, по которым отдельные аргументы могут подвергаться оцениванию или не могут, могут присутствовать или нет, могут иметь заранее заготовленные (по умолчанию) значения или не могут их иметь. С большой вероятностью, в конечном счете Лисп-системы будут использовать соглашения, присущие MDL.