list, functional, programming, topics, this, article, does, cite, sources, please, help, improve, this, article, adding, citations, reliable, sources, unsourced, material, challenged, removed, find, sources, news, newspapers, books, scholar, jstor, june, 2010,. This article does not cite any sources Please help improve this article by adding citations to reliable sources Unsourced material may be challenged and removed Find sources List of functional programming topics news newspapers books scholar JSTOR June 2010 Learn how and when to remove this message This is a list of functional programming topics Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic 5 Type theory 6 Denotational semantics 7 Category theory 8 Operational issues 9 Programming languagesFoundational concepts editProgramming paradigm Declarative programming Programs as mathematical objects Function level programming Purely functional programming Total functional programming Lambda programming Static scoping Higher order function Referential transparencyLambda calculus editFurther information Lambda calculus Currying Lambda abstraction Church Rosser theorem Extensionality Church numeralCombinatory logic editFurther information Combinatory logic Fixed point combinator SKI combinator calculus B C K W system SECD machine Graph reduction machineIntuitionistic logic editFurther information Intuitionistic logic Sequent sequent calculus Natural deduction Intuitionistic type theory BHK interpretation Curry Howard correspondence Linear logic Game semanticsType theory editFurther information Type theory Typed lambda calculus Typed and untyped languages Type signature Type inference Datatype Algebraic data type generalized Type variable First class value Polymorphism Calculus of constructionsDenotational semantics editFurther information Denotational semantics Domain theory Directed complete partial order Knaster Tarski theoremCategory theory editFurther information Category theory Cartesian closed category Yoneda lemmaOperational issues editGraph reduction Combinator graph reduction Strict programming language Lazy evaluation eager evaluation Speculative evaluation Side effect Assignment Setq Closure Continuation Continuation passing style Operational semantics State transition system Simulation preorder Bisimulation Monads in functional programming Exception handling Garbage collectionProgramming languages editFurther information List of functional programming languages Clean Clojure Elixir Erlang FP F Haskell Glasgow Haskell Compiler Gofer Hugs Template Haskell ISWIM JavaScript Kent Recursive Calculator Lisp AutoLISP Common Lisp Emacs Lisp Scheme Mercury Miranda ML Category ML programming language family OCaml Standard ML Pure predecessor Q Q programming language from Kx Systems Quantum programming Scala SISAL Wmega Retrieved from https en wikipedia org w index php title List of functional programming topics amp oldid 1182626954, wikipedia, wiki, book, books, library,
