• 轻量级Java

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

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

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

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

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

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

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 格菲

  • 123篇参考文献[SW034 4]
  • GFALSE软件包提供了确定和…的工具。
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 46篇参考文献[SW01224]
  • 模块化程序设计语言是…的后裔。
  • Perl

  • 252篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。
  • Salm Talk

  • 163篇参考文献[SW01561 ]
  • SimultTalk是面向对象的、动态类型的、反射式的…
  • 埃兰

  • 108篇参考文献[SW02179]
  • ELAN系统提供了用于指定…的环境。