• 口齿不清

  • 引用127篇文章[sw07201]
  • 阿隆佐教堂兰姆达 微积分它很快就成为人们喜爱的编程语言。。。
  • 羽状爪哇

  • 引用93篇文章[sw16204]
  • 偶数分配)获得微积分,羽绒般的Java,对此进行了严格的证明…与Java的关系类似兰姆达-微积分对这样的语言。。。
  • 教堂

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

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

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

  • 引用5篇文章【sw20841】
  • PELCR,并行环境兰姆达-微积分减少。在这篇文章中,我们给出了∧的Lévy最优归约的实现-微积分并行(或分布式)计算系统兰姆达-微积分减少),依赖于一种定向虚拟化的策略。。。
  • 交易人

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

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

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

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

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

  • 引用4篇文章[sw27569]
  • 将Coq术语提取到CBV中$兰姆达$-微积分[13] 一。然而,语法缺乏语义。。。
  • 小流氓

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

  • 引用2篇文章[sw22659]
  • Hazelnut:双向类型结构编辑器微积分结构编辑器允许程序员编辑树…基于一个小的双向类型兰姆达 微积分用孔和光标延伸。榛子。。。
  • Knuth Bendix订单

  • 引用3篇文章[sw28584]
  • 高阶条件下的Bendix订单兰姆达-抽象并证明了高阶迭加基的许多有用性质微积分...
  • 阿纳哥波斯

  • 1条引用[sw17745]
  • 术语重写和兰姆达 微积分.我们展示了Anagopos,一个开源工具…可视化兰姆达 微积分以及术语重写。Anagopos允许步骤。。。
  • 兰姆达

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

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

  • 1条引用[sw40708号]
  • 兰姆达显示通用性的减速机兰姆达 微积分这本书还展示了如何雕刻。。。
  • X-乐趣

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