Sites
Tags
- A
- Abstract machine
- Academia
- Action language
- Actor model
- Adivasi
- Agda
- Air line
- Alan Turing
- Alaska
- Algebraic data type
- ALGOL 60
- Alonzo Church
- An
- Andy Burnham
- Anonymous function
- APL
- Arizona
- Arraignment
- Array data structure
- Array programming
- Ars Technica
- Aspect-oriented programming
- Assembly language
- Association for computing machinery
- Automatic programming
- Benow
- Bereaved parents
- Binary heap
- Block
- BMC Medicine
- Bribery
- British Computer Society
- Byte
- Call stack
- Cambridge University Press
- Caml
- Card fraud
- Catamorphism
- Category theory
- Cayenne
- Central processing unit
- Chalmers University of Technology
- Charged
- Charles Ponzi
- Chicken
- Ciao
- Cisco
- CiteSeerX
- Claims
- Class
- Class-based programming
- Clean
- Clojure
- Closure
- Codata
- Color scheme
- Combinatory logic
- Command language
- Common Lisp
- Communications of the ACM
- Comparison and contrast of classification schemes in linguistics and metadata
- Comparison of programming languages
- Compiled language
- Compiler
- Component-based software engineering
- Composability
- Computation
- Computer-aided design
- Computer Science
- Computer simulation
- Concatenative programming language
- Concurrent computing
- Consistency
- Constraint programming
- Constructive proof
- Contract
- Control flow
- Coq
- Council house
- Court record
- Court records
- Crime
- Crypto trading
- C-sharp
- Curry–Howard correspondence
- Currying
- D
- Database
- Dataflow programming
- Data-oriented design
- Data structure
- Data type
- David Turner
- Debugging
- Declarative programming
- Deforestation
- Dem Ag
- Dem Rep
- Denotational semantics
- Dependent type
- Derivative
- Design by contract
- Design pattern
- Deterministic system
- Device driver
- Differential operator
- Disabled individuals
- Distributed computing
- DOI
- Domain-specific language
- Donald D. Chamberlin
- Downforce
- Dylan
- Dynamic programming language
- Eager evaluation
- Effect system
- Election integrity
- Election promises
- Elector
- Électricité de France
- Elixir
- Embedded software
- Embezzlement
- End
- End-user development
- Epigram
- Ericsson
- Erlang
- Esoteric programming language
- Evaluation strategy
- Event-driven programming
- Expression
- Expression-oriented programming language
- Extensible programming
- Extortion
- Fake
- False positives and false negatives
- Fault tolerance
- Festivals and events
- Filter
- First-class citizen
- First-class function
- Fold
- Foreign influence
- Formal system
- Formal verification
- Fortran
- Fourth-generation programming language
- FP
- Fraud
- Fraud schemes
- F Sharp
- Function
- Functional reactive programming
- Function application
- Function composition
- Function-level programming
- Garbage collection
- Generalized algebraic data type
- Generic programming
- Get-rich-quick scheme
- Glasgow Haskell Compiler
- GNU Compiler Collection
- Go
- Graph reduction
- Gröbner basis
- Guido van Rossum
- Guy L. Steele Jr.
- Halting problem
- Hash table
- Haskell
- Haskell Curry
- Henry Cuellar
- Herbert A. Simon
- Heriot-Watt University
- Higher-order function
- Higher-order logic
- Higher-Order Perl
- Higher-order programming
- High-level programming language
- Hindley–Milner type system
- Homoiconicity
- Hope
- IBM 700/7000 series
- Idempotence
- Identifier
- Ilkley
- Ilkley Moor
- Imelda Cuellar
- Immutable object
- Imperative programming
- Implementation of mathematics in set theory
- Indictment
- InfoWorld
- Inline expansion
- Intentional programming
- Interactive programming
- Interactive Theorem Proving
- Interface description language
- International Conference on Functional Programming
- International Standard Book Number
- International Standard Serial Number
- Interpreted language
- Intuitionistic type theory
- Investment fund
- ISWIM
- Iteration
- J
- Jack Smith
- Java
- JavaScript
- John Chambers
- John Hughes
- John McCarthy
- Journal of Functional Programming
- JSTOR
- Julia
- K
- Korean Air
- Kotlin
- Lambda calculus
- Language-oriented programming
- Lazy evaluation
- Lex
- Lisp
- List comprehension
- Literate programming
- Logarithm
- Logic programming
- Logic Theorist
- Low-code development platform
- Low-level programming language
- Lua
- Machine code
- Macintosh
- Macro
- Map
- Massachusetts Institute of Technology
- Mathematical proof
- Matrix
- Medicare fraud
- Member of Congress
- Memoization
- Memory leak
- Metaprogramming
- Met Gala
- Miranda
- ML
- Modeling language
- Modular programming
- Monad
- Money laundering
- Money laundering schemes
- Moses Schönfinkel
- Most
- Natural number
- Nested function
- Networking hardware
- New
- Nondeterministic programming
- Nortel
- NPL
- Numbering scheme
- Object-based language
- Object-oriented programming
- OCaml
- Ontology language
- OpenSCAD
- Open standard
- Operational semantics
- Over
- Parallel computing
- Parallelization
- Parameter
- Partial application
- Pascal
- Pattern matching
- Payola
- Peer review
- Perl
- Per Martin-Löf
- Persistent data structure
- PHP
- Pipeline
- Plastic cup
- Ponzi scheme
- Prentice Hall
- Principia Mathematica
- Principle of compositionality
- Prison
- Probabilistic programming language
- Procedural programming
- Procedure
- Production system
- Programming
- Programming language theory
- Programming paradigm
- Program synthesis
- Prototype-based programming
- Pure function
- Purely functional programming
- Pyramid scheme
- Python
- Q
- Quantum programming
- Query language
- R
- Racket
- RAkU
- Raymond F. Boyce
- Reactive programming
- Recursion
- Reflection
- Return statement
- Rhyme scheme
- Robert Harper
- Robin Milner
- Robot
- Rust
- Sârbă
- SASL
- Scala
- Scam
- Schema
- Scheme
- Scope
- Scripting language
- SECD machine
- Separation of concerns
- Side effect
- Simon Peyton Jones
- Simply typed lambda calculus
- Six
- Software bug
- Software testing
- Source
- Spreadsheet
- SQL
- Stack Overflow
- Standard ML
- Start
- State
- Statement
- Strategy pattern
- Stream processing
- Strict programming language
- Structure and Interpretation of Computer Programs
- Structured programming
- Studio magazine
- Successor function
- Sweden
- Synchronous programming language
- System programming language
- Tacit programming
- Tail call
- Telecommunication
- Telescope
- Template metaprogramming
- Template processor
- Test-driven development
- Texa
- The Computer Journal
- The Computer Language Benchmarks Game
- The end
- The Scheme
- Thread safety
- Top
- Total functional programming
- Tree
- Turing Award
- Turing completeness
- Turing machine
- Typed lambda calculus
- Type inference
- Type system
- Undecidable problem
- Uniform Function Call Syntax
- United States House of Representatives
- University
- University of Edinburgh
- University of St Andrews
- Vaccination
- Value-level programming
- Visitor
- Visual programming language
- Von Neumann architecture
- Wayback Machine
- Well-founded relation
- What
- Who
- Wolfram Language
- XML
- XQuery
- XSLT
- Yacc