/wiki/Procedural_programming
/wiki/Programming_paradigm
/wiki/Action_language
/wiki/Agent-oriented_programming
/wiki/Array_programming
/wiki/Automata-based_programming
/wiki/Concurrent_computing
/wiki/Relativistic_programming
/wiki/Data-driven_programming
/wiki/Declarative_programming
/wiki/Imperative_programming
/wiki/Functional_logic_programming
/wiki/Purely_functional_programming
/wiki/Logic_programming
/wiki/Abductive_logic_programming
/wiki/Answer_set_programming
/wiki/Concurrent_logic_programming
/wiki/Inductive_logic_programming
/wiki/Constraint_programming
/wiki/Constraint_logic_programming
/wiki/Concurrent_constraint_logic_programming
/wiki/Dataflow_programming
/wiki/Flow-based_programming
/wiki/Reactive_programming
/wiki/Dynamic_programming_language
/wiki/Event-driven_programming
/wiki/Function-level_programming
/wiki/Value-level_programming
/wiki/Tacit_programming
/wiki/Concatenative_programming_language
/wiki/Generic_programming
/wiki/Object-oriented_programming
/wiki/Literate_programming
/wiki/Language-oriented_programming
/wiki/Natural-language_programming
/wiki/Service-oriented_modeling
/wiki/Domain-specific_language
/wiki/Grammar-oriented_programming
/wiki/Intentional_programming
/wiki/Metaprogramming
/wiki/Automatic_programming
/wiki/Inductive_programming
/wiki/Reflection_(computer_programming)
/wiki/Attribute-oriented_programming
/wiki/Macro_(computer_science)
/wiki/Template_metaprogramming
/wiki/Non-structured_programming
/wiki/Structured_programming
/wiki/Nondeterministic_programming
/wiki/Parallel_computing
/wiki/Process-oriented_programming
/wiki/Probabilistic_programming_language
/wiki/Stack-oriented_programming
/wiki/Block_(programming)
/wiki/Actor_model
/wiki/Class-based_programming
/wiki/Concurrent_object-oriented_programming
/wiki/Prototype-based_programming
/wiki/Separation_of_concerns
/wiki/Aspect-oriented_programming
/wiki/Role-oriented_programming
/wiki/Subject-oriented_programming
/wiki/Recursion_(computer_science)
/wiki/Symbolic_programming
/wiki/Quantum_programming
/wiki/Computer_science
/wiki/Computer_program
/wiki/Computation
/wiki/Function_(mathematics)
/wiki/Program_state
/wiki/Immutable_object
/wiki/Expression_(computer_science)
/wiki/Statement_(computer_science)
/wiki/Function_argument
/wiki/Subroutine
/wiki/Local_state
/wiki/Global_variable
/wiki/Side_effect_(computer_science)
/wiki/Lambda_calculus
/wiki/Formal_system
/wiki/Computability
/wiki/Entscheidungsproblem
/wiki/Function_application
/wiki/Recursion
/wiki/Programming_language
/wiki/Relation_(logic)
/wiki/Source_code
/wiki/Assignment_(computer_science)
/wiki/Return_value
/wiki/Referential_transparency_(computer_science)
/wiki/Academic
/wiki/Common_Lisp
/wiki/Scheme_(programming_language)
/wiki/Clojure
/wiki/Wolfram_Language
/wiki/Mathematica
/wiki/Racket_(programming_language)
/wiki/Erlang_(programming_language)
/wiki/OCaml
/wiki/Haskell_(programming_language)
/wiki/F_Sharp_(programming_language)
/wiki/JavaScript
/wiki/R_(programming_language)
/wiki/J_(programming_language)
/wiki/K_(programming_language)
/wiki/Q_(programming_language_from_Kx_Systems)
/wiki/Kx_Systems
/wiki/XQuery
/wiki/XSLT
/wiki/XML
/wiki/Opal_(programming_language)
/wiki/SQL
/wiki/Lex_(software)
/wiki/Yacc
/wiki/Mutable_object
/wiki/Perl
/wiki/PHP
/wiki/C%2B%2B11
/wiki/Java_8
/wiki/C_Sharp_3.0
/wiki/Julia_(programming_language)
/wiki/Scala_(programming_language)
/wiki/Combinatory_logic
/wiki/Foundations_of_mathematics
/wiki/Lisp_(programming_language)
/wiki/IBM_700/7000_series
/wiki/John_McCarthy_(computer_scientist)
/wiki/Massachusetts_Institute_of_Technology
/wiki/Dylan_(programming_language)
/wiki/Information_Processing_Language
/wiki/Assembly_language
/wiki/Kenneth_E._Iverson
/wiki/APL_(programming_language)
/wiki/International_Standard_Book_Number
/wiki/John_Backus
/wiki/FP_(programming_language)
/wiki/Roger_Hui
/wiki/Arthur_Whitney_(computer_scientist)
/wiki/Turing_Award
/wiki/Von_Neumann_architecture
/wiki/Principle_of_compositionality
/wiki/ML_(programming_language)
/wiki/Robin_Milner
/wiki/University_of_Edinburgh
/wiki/David_Turner_(computer_scientist)
/wiki/SASL_(programming_language)
/wiki/University_of_St_Andrews
/wiki/NPL_(programming_language)
/wiki/Kleene%27s_recursion_theorem
/wiki/Hope_(programming_language)
/wiki/Standard_ML
/wiki/Lexical_scope
/wiki/Lambda_Papers
/wiki/Structure_and_Interpretation_of_Computer_Programs
/wiki/Per_Martin-L%C3%B6f
/wiki/Intuitionistic_type_theory
/wiki/Constructive_proof
/wiki/Dependent_type
/wiki/Interactive_theorem_proving
/wiki/Miranda_(programming_language)
/wiki/Open_standard
/wiki/Computer_Aided_Design
/wiki/OpenSCAD
/wiki/First-class_function
/wiki/Higher-order_function
/wiki/Differential_operator
/wiki/Derivative
/wiki/Partial_application
/wiki/Currying
/wiki/Successor_function
/wiki/Natural_number
/wiki/Pure_function
/wiki/Memoization
/wiki/Parallelization
/wiki/Thread-safe
/wiki/Deforestation_(computer_science)
/wiki/GNU_Compiler_Collection
/wiki/Fortran_95
/wiki/Iteration
/wiki/Tail_recursion
/wiki/Continuation_passing_style
/wiki/Catamorphism
/wiki/Anamorphism
/wiki/Program_loops
/wiki/Imperative_languages
/wiki/Turing_complete
/wiki/Halting_problem
/wiki/Undecidable_problem
/wiki/Equational_reasoning
/wiki/Inconsistency
/wiki/Type_system
/wiki/Coq
/wiki/Well-founded
/wiki/Strongly_normalizing
/wiki/Codata_(computer_science)
/wiki/Total_functional_programming
/wiki/Evaluation_strategy
/wiki/Denotational_semantics
/wiki/Graph_reduction
/wiki/Clean_(programming_language)
/wiki/Operational_semantics
/wiki/Hindley%E2%80%93Milner_type_inference
/wiki/Typed_lambda_calculus
/wiki/False_positives_and_false_negatives
/wiki/Untyped_lambda_calculus
/wiki/Algebraic_datatypes
/wiki/Test-driven_development
/wiki/Type_inference
/wiki/Agda_(theorem_prover)
/wiki/Cayenne_(programming_language)
/wiki/Epigram_(programming_language)
/wiki/Predicate_logic
/wiki/Curry%E2%80%93Howard_isomorphism
/wiki/Mathematical_proof
/wiki/Formal_verification
/wiki/Formalized_mathematics
/wiki/Compcert
/wiki/Compiler
/wiki/C_(programming_language)
/wiki/Generalized_algebraic_data_type
/wiki/Glasgow_Haskell_Compiler
/wiki/Referential_transparency
/wiki/D_(programming_language)
/wiki/Lua_(programming_language)
/wiki/Python_(programming_language)
/wiki/Anonymous_function
/wiki/Map_(higher-order_function)
/wiki/Fold_(higher-order_function)
/wiki/Filter_(higher-order_function)
/wiki/Visual_Basic
/wiki/C_Sharp_(programming_language)
/wiki/Anonymous_class
/wiki/Closure_(computer_science)
/wiki/Java_(programming_language)
/wiki/Object-oriented
/wiki/Design_pattern_(computer_science)
/wiki/Strategy_pattern
/wiki/Visitor_(design_pattern)
/wiki/Purely_functional_data_structure
/wiki/Data_structure
/wiki/Array_data_structure
/wiki/Hash_table
/wiki/Binary_heap
/wiki/Map_(computer_science)
/wiki/Logarithm
/wiki/Persistent_data_structure
/wiki/Monad_(functional_programming)
/wiki/Category_theory
/wiki/Hoare_logic
/wiki/Uniqueness_type
/wiki/Effect_system
/wiki/Central_processing_unit
/wiki/Pascal_(programming_language)
/wiki/The_Computer_Language_Benchmarks_Game
/wiki/Matrix_(mathematics)
/wiki/Database
/wiki/Inline_expansion
/wiki/Lazy_evaluation
/wiki/Memory_leak
/wiki/Fibonacci_number
/wiki/Tail_recursive
/wiki/Perl_6
/wiki/Syntax_(programming_languages)
/wiki/Elixir_(programming_language)
/wiki/Kotlin_(programming_language)
/wiki/Swift_(programming_language)
/wiki/SequenceL
/wiki/Tcl
/wiki/Sweden
/wiki/Ericsson
/wiki/Nortel
/wiki/Facebook
/wiki/%C3%89lectricit%C3%A9_de_France
/wiki/WhatsApp
/wiki/Apple_Macintosh
/wiki/Computer_simulation
/wiki/Telescope
/wiki/Software_driver
/wiki/Robot
/wiki/Embedded_software
/wiki/Structure_and_Interpretation_of_Classical_Mechanics
/wiki/Comparison_of_programming_paradigms
/wiki/Eager_evaluation
/wiki/List_of_functional_programming_topics
/wiki/Nested_function
/wiki/Inductive_functional_programming
/wiki/Functional_reactive_programming
/wiki/Hal_Abelson
/wiki/Gerald_Jay_Sussman
/wiki/Cambridge_University_Press
/wiki/Haskell_Curry
/wiki/J._Roger_Hindley
/wiki/Morgan_Kaufmann
/wiki/Prentice_Hall
/wiki/Esoteric_programming_language
/wiki/Extensible_programming
/wiki/Multi-paradigm_programming_language
/wiki/Object-based_language
/wiki/Pipeline_programming
/wiki/Rule-based_system
/wiki/Scripting_language
/wiki/Stack-based_language
/wiki/Synchronous_programming_language
/wiki/Templating_language
/wiki/Compiled_language
/wiki/Interpreted_language
/wiki/Machine_code
/wiki/Low-level_programming_language
/wiki/High-level_programming_language
/wiki/Very_high-level_programming_language
/wiki/First-generation_programming_language
/wiki/Second-generation_programming_language
/wiki/Third-generation_programming_language
/wiki/Fourth-generation_programming_language
/wiki/Fifth-generation_programming_language
/wiki/Non-English-based_programming_languages
/wiki/Visual_programming_language
/wiki/Biblioteca_Nacional_de_Espa%C3%B1a
/wiki/Biblioth%C3%A8que_nationale_de_France
/wiki/Integrated_Authority_File
/wiki/Library_of_Congress_Control_Number
