• MATLAB

  • 11343篇参考文献[SW0568]
  • 模型与应用。这个语言工具和内置数学功能让你探索…比用电子表格或传统编程更快语言,比如C/C++或Java…
  • Gap

  • 2662篇参考文献[SW0320]
  • 提供编程语言一个数以千计的图书馆功能实现代数算法编写…
  • 奇异的

  • 1291篇参考文献[SW08666 ]
  • 类程序设计语言,奇异的内部功能增强和用户可扩展的图书馆写…语言. 通信链路的一般和高效实现允许单数实现它的通信链路。功能
  • 哈斯克尔

  • 815篇参考文献[SW03521]
  • 标准化、通用化功能性编程语言,具有非严格语义和强静态类型…
  • 毫升

  • 498篇参考文献[SW01218]
  • 语言是通用的功能性编程语言. 它起源于LISP…错误。[ 1 ] ML提供模式匹配功能参数、垃圾回收、命令式编程、调用…咖喱。它在编程中大量使用。语言研究
  • 枫树

  • 4879篇参考文献[SW0545 ]
  • 解决数学问题。超过5000功能Maple提供了广度、深度和性能…可点击数学占地面积复杂编程的工具语言. 使用提供的智能文档环境…
  • Algl 60

  • 447篇参考文献[SW21807]
  • Algl 60是第一个语言实现嵌套功能词汇范围的定义。它给了…
  • 米兰达

  • 148篇参考文献[SW0988]
  • 米兰达:非严格功能性 语言多态性类型。最近几年看到…对自然界性质的大量研究功能性编程虽然还有很多重要的…文件化程序设计语言. 米兰达是功能性编程语言已经开发了这个…
  • 421篇参考文献[SW09501]
  • 定向矩阵规划语言综合数理统计功能图书馆矩阵
  • 阿加达

  • 171篇参考文献[SW0969]
  • AGDA是依赖类型的功能性编程语言它有类似的归纳家庭。
  • 倍频程

  • 270篇参考文献[SW0466]
  • 也可用作批处理语言. 倍频程有广泛的工具来解决共同…非线性方程组的根积分功能操作多项式和积分常微分和微分…可自定义的用户自定义功能用八度音阶写的语言,或使用动态加载…
  • 清洁

  • 58篇参考文献[SW01346]
  • 清洁是功能性 语言基于术语图重写。它是专门设计的…使用纯可能的应用功能性 语言. 在本文中,我们首先给出…最重要的基本特征语言干净的,它的期限图改写…纯粹地功能性框架。在这个概述之后,我们将关注一个新的语言特点,…
  • Python

  • 1072篇参考文献[SW14460]
  • 语言比如C++或Java。这个语言提供旨在启用清晰程序的结构…编程范例,包括面向对象、命令和功能性编程或程序风格。它的特点是…
  • 极小值

  • 45篇参考文献[SW29 625]
  • 类型化的La-结石的上下文功能性 语言. 我们直接证明了…的意义。Nielson和Nielson两层功能性 语言在我们功能性 语言迷你ML,因此…
  • 咖喱

  • 41篇参考文献[ SW08981]
  • Curry:真的功能性逻辑语言.功能性逻辑编程是最重要的声明性…在过去的十年里。然而,集成功能性逻辑语言目前未被广泛使用。提出了很多不同的建议功能性逻辑语言. 为了克服这种情况,我们建议…功能性逻辑语言Curry可以作为一个标准语言在这个地区…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 逻辑编程功能谓语:语言巴别塔我们对实验编程进行了研究。语言巴贝尔,旨在实现一体化功能性编程(如希望、标准所体现)灵活的,数学上有界的方法。这个语言依赖于一个构造函数学科,非常适合…一阶功能性表示法。在另一边,语言使用狭窄作为基础…
  • 信号

  • 51篇参考文献[SW0915]
  • 元素同步过程。独立编译语言然而,这是一个困难的问题…要求启用单独编译功能性反应系统的组成部分,同时保留它们的…程序模块中的不变量功能性 语言时间和数据流不变量接口信号处理…传统的语言键入是允许单独编译的介质。功能在一个程序中…
  • 引诱者

  • 48篇参考文献[SW12434 ]
  • 通用的语言. 我们提出功能性 语言CDuce,讨论一些设计问题,并展示…强大的模式匹配,一流功能超载功能一个非常丰富的类型系统(箭头,序列…