User:Roswellmiller/Books/Functional Programming
 | The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
 | You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] | ||||||||
Functional Programming
Fundamentals
- Fundamental Concepts
- Programming paradigm
- Declarative programming
- Function-level programming
- Purely functional
- Lambda calculus
- Scope (computer science)
- Higher-order function
- Referential transparency (computer science)
- Lambda Calculus
- Currying
- Church–Rosser theorem
- Extensionality
- Church encoding
- Combinatory Logic
- Fixed-point combinator
- SKI combinator calculus
- B,C,K,W system
- SECD machine
- Graph reduction machine
- Intuitionistic Logic
- Sequent
- Natural deduction
- Intuitionistic type theory
- Brouwer–Heyting–Kolmogorov interpretation
- Curry–Howard correspondence
- Linear logic
- Game semantics
- Type Theory
- Typed lambda calculus
- Programming language
- Type signature
- Type inference
- Data type
- Algebraic data type
- Type variable
- First-class citizen
- Polymorphism (computer science)
- Calculus of constructions
- Denotational Semantics
- Domain theory
- Complete partial order
- Knaster–Tarski theorem