• 爪哇轻量级

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

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

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

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

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

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

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 小话

  • 在163篇文章中引用[sw01561]
  • Smalltalk是一个面向对象的、动态类型的、反射的。。。
  • 贝塔

  • 引用28篇文章[sw03114]
  • BETA编程语言中的同步抽象。这个。。。
  • Isar

  • 引用138篇文章[sw04599]
  • 定理证明系统支持交互式证明开发。。。