Home › Browse › Formal_System › Functional Programming Language

Functional Programming Language

Formal_System › Functional Programming Language · Ranked by notability

49
Articles
0
Images
44
Keywords Tracked
43
Websites Tracked
5,947,660
Monthly Searches
1
Pages

Also in Formal_System

All Formal_System
Programming Language (494)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Visual Programming Language (7)
Page Description Language (7)
Software (6)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Dialect (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
XQuery
Place
functional programming and query language for XML
Standard ML
Place
programming language
Ceylon
Place
programming language
Emacs Lisp
Place
dialect of Lisp used in GNU Emacs
Elm
Place
functional reactive programming language
Wolfram Language
Place
programming language and environment
Mercury
Place
functional logic programming language
Clean
Thing
programming language
Rocq prover
CreativeWork
proof assistant
Curry
Place
programming language
Agda
Place
dependently typed, purely functional programming language and proof assistant
Unlambda
Place
functional programming language
Idris
Thing
purely functional programming language
Alice
Place
programming language
ISWIM
Place
programming language
Nemerle
Place
general-purpose high-level statically typed programming language
Joy
Place
programming language
PureScript
Place
strongly typed language that compiles to JavaScript
Red
Place
programming language
FAUST
Thing
programming language
ATS
Place
programming language
Tea
Place
programming language
Gleam
Place
functional, concurrent programming language
Hop
Place
Lisp-like programming language
Frege
Thing
functional programming language
Caméléon
Place
visual programming language
Little b
Place
domain-specific programming language
Charity
Thing
Programming language
LFE
Place
Lisp Flavored Erlang
NekoVM
Organization
application virtual machine and programming language
SAC programming language
Place
strict purely functional programming language
CDuce
Place
XML-oriented functional programming language
SequenceL
Place
general purpose functional programming language and auto-parallelizing compiler and tool set
Ruby
Place
functional programming language targeting relational algebra and used as a hardware description lang
Pure
Place
functional programming language
Skribe
CreativeWork
document production tool written by Manuel Serrano for Bigloo and ported to STkLos by Érick Gallesio
Verse
Place
programming language
Elvish
Place
programming language and shell
Alpaca
Place
programming language
Nix
Place
domain-specific language for building and managing packages
Roc
Place
functional programming language
Scheme Scribe
CreativeWork
functional programming language for authoring documents
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
Motoko
Place
Programming language for the Internet Computer of Dfinity
Eta
Place
dialect of Haskell programming language