• MATLAB

  • 11343篇参考文献[SW0568]
  • 数值计算可视化交互环境编程. 使用MATLAB,可以分析数据,开发…模型与应用。这个语言工具和内置数学功能让你探索…比电子表格快或传统编程 语言,比如C/C++或Java…
  • 奇异的

  • 1291篇参考文献[SW08666 ]
  • 喜欢编程 语言,奇异的内部功能增强和用户可扩展的图书馆写…奇异的编程 语言. 一个通用和高效的通信链路的实现允许单极…功能可供他人使用程序
  • 哈斯克尔

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

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

  • 498篇参考文献[SW01218]
  • 语言是通用的功能性 编程 语言. 它起源于LISP…提供模式匹配功能参数,垃圾收集,命令编程按值调用…咖喱。它被大量使用。编程 语言研究
  • 枫树

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

  • 148篇参考文献[SW0988]
  • 米兰达:非严格功能性 语言多态性类型。最近几年看到…对自然界性质的卓有成效的研究功能性 编程. 虽然还有很多重要的问题…文件化的编程 语言. 米兰达是功能性 编程 语言已经开发了这个…
  • 阿加达

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

  • 447篇参考文献[SW21807]
  • ALGOL计算机家族编程 语言. 接着是从ALGOL 58引进的…嵌套的功能词汇范围的定义。它引起了许多其他。编程 语言,包括…
  • 421篇参考文献[SW09501]
  • 面向对象矩阵编程 语言综合数理统计功能图书馆矩阵设计良好的语法,导致程序更容易维护。首先…
  • Python

  • 1072篇参考文献[SW14460]
  • Java这个语言提供旨在启用清除的结构。程序在一个小的…Python支持多个编程范式,包括面向对象、命令和功能性 编程或程序风格…
  • 朱丽亚

  • 190篇参考文献[SW13986]
  • 扩展现代编程 语言技法一种基于泛型的设计功能一个丰富的类型…系统同时表达编程模型和成功的类型推断,导致良好的性能…
  • 巴别塔

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

  • 163篇参考文献[SW0834 ]
  • 数以百计的数学功能. 它有很高的水平编程 语言允许进入高级…
  • 可可

  • 595篇参考文献[SW0143]
  • 零维格式,庞加莱级数和希尔伯特功能多项式的因式分解,Tric理想。能力…通过专用高级别增强编程 语言. 为了方便起见,该系统提供了文本…
  • 雷法尔

  • 42篇参考文献[SW27 634 ]
  • ReFaAl是功能性 编程 语言其中计算是由模式匹配驱动的…
  • 伊德里斯

  • 31篇参考文献[ SW2001 11]
  • 伊德里斯是一个纯粹的通用功能性 编程 语言依赖类型。依赖类型允许…值,意思是A的一些方面程序可以精确地说明行为。相依模式匹配类型功能接口(C);编译器支持的交互式编辑…
  • 信号

  • 51篇参考文献[SW0915]
  • 元素同步过程。独立编译语言然而,这是一个困难的问题…要求启用单独编译功能性反应系统的组成部分,同时保留它们的…类型描述了不变量。程序模块在功能性 语言时间和数据流不变量…语言键入是允许单独编译的介质。功能在一个程序
  • 伊甸园

  • 29篇参考文献[SW22186]
  • 梦想变成现实。平行功能性 编程 语言伊甸是专门设计来实施的…平行伊甸园精简语言),平行功能性 语言梦,然后是珍珠……