Home › Browse › Formal_System › Functional Programming Language

Functional Programming Language

Formal_System › Functional Programming Language · Ranked by notability

47
Articles
0
Images
42
Keywords Tracked
41
Websites Tracked
5,928,840
Monthly Searches
1
Pages

Also in Formal_System

All Formal_System
Programming Language (489)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Visual Programming Language (7)
Page Description Language (7)
Shading Language (6)
Software (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Simulation Language (4)
XQuery
Place
functional programming and query language for XML
Standard ML
Place
programming language
Ceylon
Place
programming language
Elm
Place
functional reactive programming language
Emacs Lisp
Place
dialect of Lisp used in GNU Emacs
Mercury
Place
functional logic programming language
Rocq prover
CreativeWork
proof assistant
Clean
Thing
programming language
Curry
Place
programming language
Agda
Place
dependently typed, purely functional programming language and proof assistant
Idris
Thing
purely functional programming language
Unlambda
Place
functional programming language
Alice
Place
programming language
ISWIM
Place
programming language
Nemerle
Place
general-purpose high-level statically typed programming language
Red
Place
programming language
PureScript
Place
strongly typed language that compiles to JavaScript
Joy
Place
programming language
FAUST
Thing
programming language
ATS
Place
programming language
Tea
Place
programming language
Hop
Place
Lisp-like programming language
Frege
Thing
functional programming language
Caméléon
Place
visual programming language
NekoVM
Organization
application virtual machine and programming language
Little b
Place
domain-specific programming language
SAC programming language
Place
strict purely functional programming language
LFE
Place
Lisp Flavored Erlang
Charity
Thing
Programming language
Pure
Place
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
CDuce
Place
XML-oriented functional programming language
Scheme Scribe
CreativeWork
functional programming language for authoring documents
Motoko
Place
Programming language for the Internet Computer of Dfinity
Eta
Place
dialect of Haskell programming language
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
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
Skribe
CreativeWork
document production tool written by Manuel Serrano for Bigloo and ported to STkLos by Érick Gallesio