• Python

  • 1003篇参考文献[SW14460]
  • 程序风格。它具有动态性。类型 系统自动内存管理…
  • 毫升

  • 491篇参考文献[SW01218]
  • 多态欣德利-米尔纳类型 系统,它自动分配类型大多数表达式不需要…
  • 奥卡姆

  • 263篇参考文献[SW06363]
  • 通过声音连接,多态性类型 系统特色类型推论。OCAM系统
  • 拉帕克

  • 1552篇参考文献[SW0503]
  • 线性方程组,线性最小二乘解系统方程、特征值问题和奇异值…各种类型矩阵乘法与三角解系统多右…
  • 枫树

  • 4837篇参考文献[SW0545 ]
  • 广度、深度和性能来处理每一个类型数学的枫树直观的界面支持…图形、图像、声音和图表。计算机代数系统
  • GMP

  • 250篇参考文献[SW0363]
  • 应用与研究,互联网安全应用,代数系统计算代数研究等GMP是仔细的…以全词为基本运算类型,通过使用快速算法,高度优化的装配…主要目标平台是UNIX——类型 系统,比如GNU/Linux,Solaris…
  • 米兰达

  • 147篇参考文献[SW0988]
  • 具有多态性的严格函数语言类型. 最近几年已经取得了丰硕的研究成果。SASL和KRC。到达某处系统更适合解决大问题米兰达…这个基础(I)多态性类型 系统和(ii)一个库结构类型安全…讨论类型 系统特别是用户定义的设备类型
  • 朱丽亚

  • 174篇参考文献[SW13986]
  • 泛型函数与富函数类型 系统同时使表达性编程模型和成功的…
  • 低周疲劳寿命

  • 155篇参考文献[SW08360]
  • 历史短暂。原始LCF系统是在斯坦福大学开发的校核程序…IT基础与创新多态性类型 系统两者都用…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 乐高是一个交互式证明开发系统(证明助手)由Randy Pollack设计和实现。它实现了各种相关类型 系统-爱丁堡逻辑框架(LF),微积分…依赖的统一理论类型(UTT)。乐高是一个强大的工具,交互式证明发展…求精作为基本操作。这个系统设计强调去除更繁琐的方面…
  • 特威尔

  • 163篇参考文献[SW0688]
  • 演绎、演绎和证明性质系统比如编程语言和逻辑。大号使用TWELL的研究项目包括Talt类型化的汇编语言…基础证明携带码系统和A类型标准安全证明…
  • 皮克特

  • 70篇参考文献[ SW08929 ]
  • 方便句法糖与静态类型 系统到一个微小的核心。当前版本…选择性通信和并发对象。这个类型 系统集成了一些特征发现…
  • CGS

  • 295篇参考文献[SW08225]
  • 快速Lanczos类型非对称线性方程求解器系统所提出的方法是一种组合。
  • 阿加达

  • 167篇参考文献[SW0969]
  • 字符和交互式Emacs接口类型检验员可以协助开发。证明助理:这是一个互动系统用于书写和检查证据…AGDA是基于直觉主义的类型基础理论系统对于建设性的数学发展…与其他基于依赖的证明助手类型如COQ、警句和NUPRL。
  • 克莱姆

  • 67篇参考文献[SW09424]
  • 实现。克莱姆装备了一个类型 系统静态检查访问权限违规…与各地的关系。这个类型 系统用于确定……的操作。
  • CVX

  • 606篇参考文献[SW0494]
  • 建模系统用于构造和求解规则凸规划(DCPS)。CVX支持一个数字…标准问题类型,包括线性和二次规划(LPS/QPS),二阶锥程序(SOCSPS)…
  • 新鲜的

  • 47篇参考文献[SW08992]
  • 使用复杂的静态类型 系统推断有关姓名“新鲜度”的信息…显示(也许令人惊讶)一个标准类型 系统没有新鲜推断,再加上传统的…
  • 清洁

  • 57篇参考文献[SW01346]
  • 清洁版提供混合动力类型 系统既有静态的,也有动态的…
  • 信号

  • 51篇参考文献[SW0915]
  • 介绍一个模块系统用于信号。就像数据一样——类型描述程序的不变量…处理他们的环境。在传统语言中,打字是允许单独编译的介质…工艺及其在复杂环境中的装配系统. 遵循这一原则,我们提出了第一个…多态性的设计与实现类型 系统和一个模块系统
  • 引诱者

  • 48篇参考文献[SW12434 ]
  • 函数,重载函数,非常丰富类型 系统(箭头,序列,配对,记录,交叉点,工会,差异…