• 羽状爪哇

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

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

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

  • 在163篇文章中引用[sw01561]
  • Smalltalk是一个面向对象的动态的打字,反射。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • ELAN为指定系统提供了一个环境。。。
  • 贝塔

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

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

  • 2019年文章引用[sw04968]
  • NIST数学函数数字图书馆。全国。。。
  • 米兰达

  • 参考文献148篇[sw04986]
  • 米兰达:一种具有多态性的非严格函数语言。。。
  • 莫德

  • 引用651篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。