• Matlab

  • Referenced in 10027 articles [sw00558]
  • models and applications. The language, tools, and built-in math functions enable you to explore ... faster than with spreadsheets or traditional programming languages, such as C/C++ or Java...
  • GAP

  • Referenced in 2392 articles [sw00320]
  • provides a programming language, a library of thousands of functions implementing algebraic algorithms written...
  • SINGULAR

  • Referenced in 1192 articles [sw00866]
  • like programming language, SINGULAR’s internal functionality is augmented and user-extendible by libraries written ... language. A general and efficient implementation of communication links allows SINGULAR to make its functionality...
  • Haskell

  • Referenced in 726 articles [sw03521]
  • standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing...
  • ML

  • Referenced in 478 articles [sw01218]
  • Meta Language’) is a general-purpose functional programming language. It has roots in Lisp ... errors.[1] ML provides pattern matching for function arguments, garbage collection, imperative programming, call ... currying. It is used heavily in programming language research...
  • Maple

  • Referenced in 4652 articles [sw00545]
  • solve mathematical problems. With over 5000 functions, Maple offers the breadth, depth, and performance ... Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...
  • ALGOL 60

  • Referenced in 422 articles [sw21807]
  • ALGOL 60 was the first language implementing nested function definitions with lexical scope. It gave...
  • Miranda

  • Referenced in 144 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic types. The last few years have seen ... much fruitful research into the nature of functional programming. Although there are still many important ... documented programming languages. Miranda is a functional programming language which has been developed with this...
  • Ox

  • Referenced in 372 articles [sw09501]
  • oriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices...
  • Agda

  • Referenced in 155 articles [sw09689]
  • Agda is a dependently typed functional programming language: It has inductive families, which are similar...
  • CLEAN

  • Referenced in 56 articles [sw01346]
  • Clean is a functional language based on Term Graph Rewriting. It is specially designed ... applications possible by using a pure functional language. In this paper we first give ... most important basic features of the language Clean among which it’s Term Graph Rewriting ... purely functional framework. After this overview we will focus on a new language feature, which...
  • Octave

  • Referenced in 237 articles [sw00646]
  • also be used as a batch-oriented language. Octave has extensive tools for solving common ... roots of nonlinear equations, integrating ordinary functions, manipulating polynomials, and integrating ordinary differential and differential ... customizable via user-defined functions written in Octave’s own language, or using dynamically loaded...
  • Curry

  • Referenced in 41 articles [sw08981]
  • Curry: a truly functional logic language. Functional and logic programming are the most important declarative ... over the last decade. However, integrated functional logic languages are currently not widely used. This ... proposed which resulted in many different functional logic languages. To overcome this situation, we propose ... functional logic language Curry which can deal as a standard language in this area...
  • MiniML

  • Referenced in 41 articles [sw29625]
  • context of typed λ-calculi and functional languages. We directly demonstrate the sense in which ... Nielson and Nielson’s two-level functional language in our functional language Mini-ML□, thus...
  • Python

  • Referenced in 846 articles [sw14460]
  • languages such as C++ or Java. The language provides constructs intended to enable clear programs ... programming paradigms, including object-oriented, imperative and functional programming or procedural styles. It features...
  • Pesca

  • Referenced in 90 articles [sw13664]
  • Pesca is written in the functional programming language Haskell...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • Logic programming with functions and predicates: The language BABEL. We investigate the experimental programming language ... BABEL, designed to achieve integration of functional programming (as embodied in HOPE, Standard ... flexible, and mathematically well-bounded way. The language relies on a constructor discipline, well suited ... first order functional notation. On the other side, the language uses narrowing as the basis...
  • SIGNAL

  • Referenced in 50 articles [sw02915]
  • elementar synchronous processes. Separate compilation in reactive languages is however made a difficult issue ... requirements. To enable separate compilation of the functional components of reactive systems while preserving their ... invariants of program modules in functional languages, temporal and data-flow invariants interface SIGNAL processes ... conventional languages, typing is the medium allowing the separate compilation of functions in a program...
  • CDuce

  • Referenced in 47 articles [sw12434]
  • general-purpose language. We present the functional language CDuce, discuss some design issues, and show ... powerful pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences...
  • Schwarz-Christoffel

  • Referenced in 202 articles [sw00833]
  • MATLAB script language, exploits the high-level functions, interactive environment, visualization tools, and graphical user...