• 计划

  • 参考第13条[sw22065]
  • 计划是基于打字 兰姆达 微积分并提供了一个受限的。。。对程序员的静态保证,例如类型安全。一个更新颖的财产目的是。。。
  • 羽状爪哇

  • 引用86篇文章[sw16204]
  • 关于关键属性的严格论证,如类型安全。我们把这个过程推进了一步。。。偶数分配)获得微积分,轻量级的Java,严格的证明。。。类似于Java的关系兰姆达-微积分对这样的语言。。。紧跟Java的。一个类型因此Java的安全性说明了。。。
  • 口齿不清

  • 引用126篇文章[sw07201]
  • 阿隆佐教堂兰姆达 微积分. 它很快就成了最受欢迎的编程语言。。。树形数据结构,自动存储管理,动态打字,条件语句,高阶函数,递归。。。
  • 霍普拉

  • 在14篇文章中引用[sw02330]
  • 扩展兰姆达 微积分带有“前缀和”,其中类型表达形式。。。
  • 榛子

  • 引用2篇文章[sw22659]
  • 榛子:双向的打字结构编辑器微积分. 允许程序员编辑树结构。。。基于小双向的编辑器打字 兰姆达 微积分用孔和光标扩展。。。动作语义学会自动放置指派给类型这与预期不符类型...
  • 楔形

  • 1条引用[sw26049]
  • 楔形文字的语法打字 兰姆达 微积分把楔形文字放在正确的角度并且允许。。。函数编程的上下文。而且,简单的类型系统允许演绎语言。。。
  • X-乐趣

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

  • 参考6篇文章[sw22612]
  • 呈现一个完整的声音,三通类型该系统的检查算法。操作。。。即多态性兰姆达 微积分具有单赋值引用和递归类型生成能力-它利用。。。
  • 模板Coq

  • 引用2篇文章[sw27569]
  • 面向认证的元编程打字模板成本。模板Coq(url{https://Template Coq.github.io/Template Coq})。。。兰姆达$-微积分[13] 是的。然而,语法缺乏语义,是吗打字语义或操作语义。。。
  • VMlambda公司

  • 1条引用[sw17460]
  • 简单地扩展标准打字按值调用兰姆达-微积分. 虽然这个扩展名,VMlambda。。。
  • 棒棒鼻

  • 引用5篇文章[sw22624]
  • 线性与并发原语在兰姆达结石有点。。。会话功能类型. Lolliproc的特点是一个简单的过程微积分“在引擎盖下”但是藏起来了。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

  • 引用了2702篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 圣杯

  • 引用19篇文章[sw00374]
  • 圣杯是一个符号计算环境有限。。。