• 口齿不清

  • 参考文献125篇[sw07201]
  • 阿隆佐教堂兰姆达 微积分. 它很快就成了最受欢迎的编程语言。。。
  • 羽状爪哇

  • 引用86篇文章[sw16204]
  • 偶数分配)获得微积分,轻量级的Java,严格的证明。。。类似于Java的关系兰姆达-微积分对这样的语言。。。
  • 教堂

  • 引用46篇文章[sw08946]
  • 基于的Lisp模型兰姆达 微积分,包含一个纯Lisp作为其确定性。。。
  • 霍普拉

  • 在14篇文章中引用[sw02330]
  • 被视为兰姆达 微积分加上“前缀和”,其中类型。。。
  • 计划

  • 引用13篇文章[sw22065]
  • 基于简单类型兰姆达 微积分并提供了一组受限的原语。。。
  • 交易人

  • 参考6篇文章[sw20929]
  • 微积分,一个扩展的兰姆达-微积分以演员模型为基础,通过实例说明其应用。。。
  • 混合液

  • 参考6篇文章[sw22612]
  • 称为LTG的语言,即多态性兰姆达 微积分使用单个赋值引用和递归类型。。。
  • 子XPL

  • 引用3篇文章[sw00923]
  • 表达式的操作$\兰姆达$-微积分三种不同风格的显式替换。。。子宫收缩的可视化$\兰姆达$-微积分在德布鲁因记谱法中,和引导的。。。条件句和重复句$\兰姆达$-微积分可用。\part系统可以通过。。。基本性质教学$\兰姆达$-微积分例如:计算的充分性,有用性。。。
  • PELCR公司

  • 引用3篇文章【sw20841】
  • PELCR,并行环境兰姆达-微积分减少。在本文中,我们将介绍。。。λ的Lévy最优约化-微积分在并行(或分布式)计算系统上。。。并行环境优化兰姆达-微积分减少),依赖于一种定向虚拟化的策略。。。
  • TILC公司

  • 引用2篇文章[sw17746]
  • TILC:互动兰姆达-微积分追踪器。本文介绍了TILC:interactive兰姆达-微积分追踪器。。。纯非类型化的主要基本概念兰姆达-微积分. 这是通过允许用户。。。的解析树兰姆达-并自动复制这些交互作用。。。的操作语义兰姆达-微积分. TILC是使用HASKELL构建的,而wxHaskell工具。。。
  • CRSX公司

  • 引用4篇文章[sw23630]
  • 规则和术语语法基于兰姆达-微积分以及术语重写约定,包括Unicode支持。。。
  • 小流氓

  • 引用2篇文章[sw13590]
  • 系统结合了$兰姆达$-微积分以及术语重写。重写是明确的。。。
  • 榛子

  • 引用2篇文章[sw22659]
  • Hazelnut:双向类型结构编辑器微积分. 结构编辑器允许程序员编辑树。。。基于一个小的双向类型兰姆达 微积分带光标的孔和孔。榛子。。。
  • 模板Coq

  • 引用2篇文章[sw27569]
  • CBA条款摘录$兰姆达$-微积分[13] 一。然而,语法缺乏语义。。。
  • 阿纳哥波斯

  • 1条引用[sw17745]
  • 术语重写和兰姆达 微积分. 我们介绍一个开源工具Anagopos。。。可视化中项的归约图兰姆达 微积分以及术语重写。Anagopos允许步骤。。。
  • 兰姆达

  • 1条引用[sw05521]
  • 兰姆达是一个互动的兰姆达 微积分翻译。它减少了兰姆达表达式并将其转换为。。。
  • Knuth Bendix订单

  • 引用2篇文章[sw28584]
  • 高阶条件下的Bendix订单兰姆达-抽象并证明了许多有用的性质。。。高阶叠加基微积分...
  • 胎儿

  • 1条引用[sw22668]
  • 介绍一个简单的功能语言胎儿(兰姆达 微积分与元组,构造函数和模式匹配)提供。。。
  • X-乐趣

  • 1条引用[sw14200]
  • 基于兰姆达 微积分这使得它在内存中实现。。。
  • VMlambda公司

  • 1条引用[sw17460]
  • 标准简单类型的按值调用兰姆达-微积分. 简单的扩展,虽然这是。。。