• Lisp

  • 123篇参考文献[SW07201]
  • 阿伦佐教堂的记号兰姆达 微积分. 它很快成为最受欢迎的编程语言…
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 甚至赋值)获得一个小的微积分轻量级Java,为其提供严格的证明…与Java类似的关系兰姆达-微积分对语言这样…
  • 教堂

  • 44篇参考文献[SW08946]
  • 基于LISP模型的兰姆达 微积分,包含纯LISP作为其确定性…
  • 霍普拉

  • 14篇参考文献[SW02430]
  • 视为一种延伸兰姆达 微积分一个“前缀和”,其中的类型…
  • 计划

  • 13篇参考文献[ SW22065 ]
  • 基于简单类型化兰姆达 微积分并提供一组受限制的基元…
  • 交易者

  • 6篇参考文献[SW20929 ]
  • 微积分,一个扩展的兰姆达-微积分基于参与者模型,并通过…
  • 混响

  • 6篇参考文献[SW22612]
  • 称为LTG的语言,即多态性兰姆达 微积分具有单个赋值引用和递归类型…
  • 亚砜

  • 3篇参考文献[SW09223 ]
  • $$表达式的操作兰姆达$微积分和三种不同风格的明确替换…美元收缩的可视化兰姆达$微积分在de Bruijn符号和引导…$$中的条件和重复兰姆达$微积分PARTY系统可以在……上执行。教学基本属性兰姆达$微积分例如:计算的充分性,有用性…
  • 佩尔克

  • 3篇参考文献[SW20841]
  • PELCR并行优化环境兰姆达-微积分减少。在本文中,我们提出的实现…Layy的最优降阶微积分关于并行(或分布式)计算系统…PELCR(并行优化环境)兰姆达-微积分减少,依赖于定向虚拟策略…
  • 蒂尔克

  • 2篇参考文献[SW1776]
  • TILC:互动兰姆达-微积分示踪剂。本文介绍了TILC:兰姆达-微积分示踪剂…纯非类型化的主要基本概念兰姆达-微积分. 这是通过允许用户…类的解析树兰姆达-术语和自动再现这些相互作用…操作语义学兰姆达-微积分. TILC已经建成使用Haskell,和工具WxHaskell…
  • CRSX

  • 4篇参考文献[SW26630]
  • 基于规则和术语语法兰姆达-微积分以及包括Unicode支持的术语重写约定。
  • 微嗅觉

  • 2篇参考文献[SW13590]
  • 结合中央思想的制度兰姆达$微积分术语重写。重写是明确的…
  • 榛子

  • 2篇参考文献[SW22659]
  • Hazelnut:双向类型结构编辑器微积分. 结构编辑器允许程序员编辑树…基于一个小的双向类型兰姆达 微积分用空洞和光标扩展。榛子。。。
  • 模板辅料

  • 2篇参考文献[SW27 569]
  • 提取COQ条款到CBV $兰姆达$微积分〔13〕。然而,语法缺乏语义…
  • 阿纳哥波斯

  • 1篇参考文献[SW1775]
  • 用于术语重写的图形可视化器兰姆达 微积分. 我们提出了AAGOPOS,一个开源工具…术语约化图的可视化兰姆达 微积分术语重写。AAGOPOS允许步骤…
  • 兰姆达

  • 1篇参考文献[ SW055 21]
  • 兰姆达是交互式的兰姆达 微积分解释器。它减少兰姆达表达式并将它们转换成…
  • Knuth Bendix指令

  • 2篇参考文献[ SW28 584]
  • 没有高阶项的Bedix命令兰姆达抽象并证明了许多有用的性质。高阶叠加的基微积分
  • 胎儿

  • 1篇参考文献[SW22668 ]
  • 介绍一种简单的功能语言胎儿兰姆达 微积分与元组,构造函数和模式匹配)提供…
  • X趣

  • 1篇参考文献[SW14200 ]
  • 基于类型的兰姆达 微积分这使得它在内存中实现…
  • 维姆拉姆达

  • 1篇参考文献[SW17460]
  • 标准按类型简单调用兰姆达-微积分. 虽然这个扩展,VMLAMBDA,很简单…