*Lisp The *Lisp (aka StarLisp) programming language was conceived of in 1985 by Cliff Lasser and Steve Omohundro (employees of the Thinking Machines Corporation) as a way of providing an efficie...
A Sharp (Axiom) A♯ (A sharp) is an object-oriented functional programming language distributed as a separable component of Version 2 of the Axiom computer algebra system.
Adenine (programming language) Adenine, named after the nucleobase adenine, is a scripting language that is cross-platform, which is developed in the context of project Haystack and Project Oxygen of the Massachusetts Insti...
Agda (programming language) Agda is both a functional programming language with dependent types, based on the idea of the Curry-Howard correspondence as embodied in Per Martin-Löf's intuitionistic type theory, and a ...
Agda (theorem prover) Agda is a proof assistant, i.e. a computer program that can check mathematical proofs.
Allegro Common Lisp Allegro Common Lisp is a commercial implementation of the Common Lisp programming language developed by Franz Inc. Allegro CL provides the full ANSI Common Lisp standard with many extensions (th...
APL (programming language) APL (named after the book A Programming Language) is a programming language developed in the 1960s by Kenneth E. Iverson.
Arbol Arbol is a programming language which has been primarily developed for use in Genetic Programming experiments.
Arc (programming language) Arc is a dialect of the Lisp programming language now under development by Paul Graham and Robert Morris.
Artspeak Artspeak is a computer language conceived by Jacob T. Schwartz at New York University's Courant Institute of Mathematical Sciences.
ATS (programming language) ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems.
BBN LISP BBN LISP (also stylized BBN-Lisp) was a dialect of the Lisp programming language by Bolt, Beranek and Newman Inc. in Cambridge, Massachusetts.
Bird-Meertens Formalism The Bird–Meertens Formalism is a calculus for deriving programs from specifications by a process of equational reasoning.
BitC BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project.
Brooks (programming language) Brooks is a functional logic programming language which inherits from the languages Curry and BABEL but allows the integration of different narrowing strategies.
C Sharp (programming language) C♯ is a multi-paradigm programming language encompassing strong typing, imperative, declarative, functional, procedural, generic, object-oriented (class-based), and component-oriented programmi...
Clojure Clojure is a recent dialect of the Lisp programming language created by Rich Hickey.
Common Lisp Common Lisp (CL) is a dialect of the Lisp programming language, published in ANSI standard document "ANSI INCITS 226-1994 (R2004), (formerly X3.226-1994 (R1999))".
Compcert CompCert is a formally verified optimizing compiler for a subset of the C programming language which currently targets PowerPC, ARM and 32-bit x86 architectures.
CompCert CompCert is a formally verified optimizing compiler for a subset of the C programming language which currently targets PowerPC, ARM and 32-bit x86 architectures.
Coq In computer science, Coq is an interactive theorem prover.
COWSEL COWSEL is a programming language designed between 1964 and 1966 by Robin Popplestone.
Curl (programming language) Curl is a reflective object-oriented programming language for interactive web applications whose goal is to provide a smoother transition between formatting and programming.
Dependent ML Dependent ML is an experimental functional programming language proposed by Hongwei Xi and Frank Pfenning.
Eager Haskell Eager Haskell is an implementation of the Haskell programming language that uses eager evaluation.
Elm (programming language) Elm is a functional programming language for declaratively creating web browser based graphical user interfaces.
Game Oriented Assembly Lisp Game Oriented Assembly Lisp is a video game programming language developed by Andy Gavin and the Jak and Daxter team at Naughty Dog.
Gofer (programming language) Gofer ("Good For Equational Reasoning") is an implementation of the programming language Haskell intended for educational purposes and supporting a language based on vers...
Halide (programming language) Halide is a computer programming language designed specifically to make easy write high-performance image processing code, automating the process of parallelization algorithm.
Hartmann pipeline A Hartmann pipeline is an extension of the Unix pipeline concept, providing for more complex paths, multiple input/output streams, and other features.
Haskell (programming language) Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.
IMTEK Mathematica Supplement The IMTEK Mathematica Supplement (IMS for short) is an open source Mathematica AddOn that aims to provide a wealth of tutorials and packages for Scientific and Engineering purposes, mainly focus...
Interlisp Interlisp (also seen with a variety of capitalizations) was a programming environment built around a version of the Lisp programming language.
ISWIM ISWIM is an abstract computer programming language (or a family of programming languages) devised by Peter J. Landin and first described in his article The Next 700 Programming Languages, pu...
J (programming language) The J programming language, developed in the early 1990s by Kenneth E. Iverson and Roger Hui, is a synthesis of APL (also by Iverson) and the FP and FL function-level languages created by John B...
Joy (programming language) The Joy programming language in computer science is a purely functional programming language that was produced by Manfred von Thun of La Trobe University in Melbourne, Australia.
JSONiq JSONiq is a query and functional programming language that is designed to declaratively query and transform collections of hierarchical and heterogeneous data in format of JSON, XML, as well as ...
Kent Recursive Calculator KRC is a lazy functional language developed by David Turner in 1981 based on SASL, with pattern matching, guards and ZF expressions.
MexScript MexScript is a multi-paradigm computer scripting language used in a number of game resource archive file handlers.
Miranda (programming language) Miranda is a non-strict purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
ML (programming language) ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, M...
Mudlle Mudlle, "MUD Language for Little Extensions", is a functional programming language originally designed for writing extensions to MUME, a Diku-based MUD written in C. Public archives have dat...
MultiLisp MultiLisp is a functional programming language and dialect of the Lisp dialect Scheme, extended with constructs for parallel execution and shared memory; MultiLisp is implemented in Interlisp.
NESL NESL is a parallel programming language developed at Carnegie Mellon by the SCandAL project and released in 1993.
newLISP newLISP is an open source scripting language in the Lisp family of programming languages developed by Lutz Mueller and released under the GNU General Public License.
POP-2 POP-2, often referred to as POP2 was a programming language developed around 1970 from the earlier language POP-1 (developed by Robin Popplestone in 1968, originally named COWSEL) by Robin...
Portable Standard Lisp Portable Standard Lisp (PSL) is a tail-recursive dynamically bound dialect of Lisp inspired by its predecessor, Standard Lisp and the Portable Lisp Compiler.
Programming Computable Functions In computer science, Programming Computable Functions, or PCF, is a typed functional language introduced in an unpublished 1969 manuscript by Dana Scott.
Programming with Big Data in R Programming with Big Data in R (pbdR) is a series of R packages and an environment for statistical computing with Big Data by utilizing high-performance statistical computation.
Q (equational programming language) Q (short for equational programming language) is an interpreted, interactive functional programming language created by Albert Gräf at the University of Mainz in Germany.
Qalb (programming language) Qalb (Arabic: قلب) is a functional programming language allowing a programmer to write programs completely in the Arabic language.
Scala (programming language) Scala is an object-functional programming and scripting language for general software applications, statically typed, designed to concisely express solutions in an elegant, type-safe and lightwe...
SequenceL SequenceL is a general purpose functional programming language, whose primary design objectives are performance on multicore hardware, ease of programming, and code clarity/readability.
TXL (programming language) TXL is a special-purpose programming language originally designed by Charles Halpern-Hamu and James Cordy at the University of Toronto in 1985.
Unlambda Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore.
Wolfram (programming language) The Wolfram Language is a highly general multi-paradigm programming language developed by Wolfram Research, that serves as the main interfacing language for Mathematica.
Wolfram Language The Wolfram Language is a highly general multi-paradigm programming language developed by Wolfram Research, that serves as the main interfacing language for Mathematica.
XQuery XQuery is a query and functional programming language that is designed to query and transform collections of structured and unstructured data, usually in the form of XML, text and with vendor-sp...
XSLT XSLT (Extensible Stylesheet Language Transformations) is a language for transforming XML documents into other XML documents, or other objects such as HTML for web pages, plain text or into...