CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Functional_programming_topic
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Functional programming topic
rdfs:
subClassOf
owl:
Thing
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/List_of_functional_programming_topics
is
rdf:
type
of
Setq
Type variable
Gofer (programming language)
Bisimulation
Common Lisp
Game semantics
Strict programming language
Elixir (programming language)
Knaster–Tarski theorem
Linear logic
Graph reduction
Fixed-point combinator
Scala (programming language)
BHK interpretation
Standard ML
Declarative programming
B, C, K, W system
SECD machine
AutoLISP
Side effect (computer science)
Curry–Howard correspondence
SKI combinator calculus
Intuitionistic type theory
Miranda (programming language)
Sequent calculus
Template Haskell
Ωmega
Data type
Haskell
Referential transparency
JavaScript
Clojure
Typed lambda calculus
Purely functional programming
Speculative execution
Emacs Lisp
Church–Rosser theorem
Currying
Total functional programming
Graph reduction machine
Clean (programming language)
Extensionality
Programming paradigm
Preorder
Continuation-passing style
Kent Recursive Calculator
Higher-order function
The
Mercury (programming language)
Lazy evaluation
Glasgow Haskell Compiler
ISWIM
Scheme (programming language)
Hugs
Polymorphism (computer science)
Algebraic data type
Continuation
Quantum programming
Garbage collection (computer science)
Type signature
Function-level programming
Lisp (programming language)
Typed and untyped languages
Church numeral
Natural deduction
OCaml
Type inference
Domain theory
Calculus of constructions
Erlang (programming language)
Exception handling
First-class value
Closure (computer programming)
Assignment (computer science)
Operational semantics
SISAL
Program monitors
λmax
Directed complete partial order
Monad pattern support