维杰·盖洛特;斯里坎特，Y.N。 SLIPS的解释器——一种基于lambda演算的应用语言。 （英语） Zbl 0591.68011号 计算。语言。 11, 1-13 (1986). 小结：提出了一种基于LAMBDA-Calculus的应用语言。语言SLIPS（教学用小型语言）使用LAMBDA-Calculus作为元语言进行描述。函数调用的按需调用机制消除了按名称调用和按值调用的缺点。该系统已在PASCAL中实现。 引用于1文件 MSC公司： 68号01 软件理论的一般主题 03B40型 组合逻辑与lambda演算 关键词：语义学;口译译员;实用语言;LAMBDA-微积分;SLIPS（教学用小型语言;呼叫需求;呼叫者姓名;按值调用 PDF格式BibTeX公司 XML格式引用 \textit{V.Gehlot}和\textit{Y.N.Srikant}，计算。语言11，1-13（1986年；Zbl 0591.68011） 全文： 内政部 OA许可证